Math Mode

L^ATEX has a special mode which produces pretty mathematical expressions. The simplest manifestation of this is for a single letter; If you have a graph G it is pleasing to refer to it as G as opposed to G. You may accomplish this by typing $G$. The pair of $'s are what delimit math mode. Expressions inside are interpreted as math expressions, and text is italicized.

Most greek letters and ugly math symbols have special L^ATEXsymbols that consist of a backslash followed by some word. I.e. the symbol for alpha ($\alpha$) is

\alpha

Some other examples are

$ \forall \ \cap \ \heartsuit \ \oplus $

which produces:

$\forall \ \cap \ \heartsuit \ \oplus$

Note that the string of math symbols is surrounded by two $'s. Anything between the $`s are interpreted as math notation. Note the backslash- space's inserted to cause space between the symbols.

A list of all of these and many more appears on pp. 40-46 of the L^ATEX manual. These are very important pages.

Other expressions that you will want are subscripts and superscripts.

To produce x_i and xⁱ you type:

$x_{i}$ and $x^{i}$.

Things can get more complicated:

$x^{x^{2} + y_{y^{3}}}$

yields

x^{x2 + y_y3}

Here are some more examples:

$x^{2} + y_{i} \geq z_{i} \forall \ x^{2}$

$M \oplus M^{*}$ is a matching if $u \in S$.

They were produced by:

$x^{2} + y_{i} \geq z_{i} \forall \ x^{2}$

$M \oplus M^{*}$ is a matching if $u \in S$.

Finally, there are macros for writing programs, please use them. An example is given in the template file.