This site is supported by donations to The OEIS Foundation.

# TeX

TeX

TeX is a typesetting system and programming language designed and written by Donald Knuth. Within the typesetting system, its name is formatted as TeX.

## AMS-TeX

AMS-TeX was originally written by Michael Spivak, and was used by the American Mathematical Society (AMS) from 1983 to 1985.

## LaTeX

LaTeX (formatted as LaTeX) is a document markup language and document preparation system for the TeX typesetting program.

## AMS-LaTeX

AMS-LaTeX is a collection of LaTeX document classes and packages developed for the AMS. Its additions to LaTeX include the typesetting of multi-line and other mathematical statements, document classes, and fonts containing numerous mathematical symbols.[1] It has largely superseded the plain TeX macro package AMS-TeX.

The following code of the LaTeX2ε produces the AMS-LaTeX logo ():


%%% -- AMS-LaTeX_logo.tex -------
\documentclass{article}
\usepackage{amsmath}

\begin{document}
\AmS-\LaTeX
\end{document}



The package has a suite of facilities to format multi-line equations. For example, the following code (which works in OEIS Wiki)


\begin{align}
y &= (x+1)^2 \\
&= x^2+2x+1
\end{align}



causes the equals signs in the two lines to be aligned with one another, like

{\displaystyle {\begin{aligned}y&=(x+1)^{2}\\&=x^{2}+2x+1\end{aligned}}}

AMS-LaTeX also includes many flexible commands for formatting and numbering lemmas, theorems, corollaries, etc. For example, one may use the environment theorem (note that <br> is the only HTML element allowed in LaTeX code)


\begin{theorem}[Pythagoras] Suppose $a \leq b \leq c$ are the side-lengths of a right triangle.<br> Then $a^2 + b^2 = c^2$.\end{theorem}
\begin{proof} (...) \end{proof}



to generate (note how the PNG images do not align properly in inline style, especially when there are subscripts or superscripts involved)

Theorem (Pythagoras) Suppose ${\displaystyle \scriptstyle a\,\leq \,b\,\leq \,c\,}$ are the side-lengths of a right triangle.
Then ${\displaystyle \scriptstyle a^{2}+b^{2}\,=\,c^{2}\,}$.
Proof (...) □

## Notes

1. George Gratzer (1996). Math into LaTeX. ISBN 0-8176-3805-9. Retrieved 2007-10-08.