L^{A}TEX 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^{A}TEXsymbols
that consist of a backslash followed by some word. I.e. the symbol
for alpha `(``)` is

\alpha

Some other examples are

$ \forall \ \cap \ \heartsuit \ \oplus $which produces:

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^{A}TEX manual. These are very important pages.

Other expressions that you will want are subscripts and superscripts.

To produce *x*_{i} and *x*^{i} you type:

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

Things can get more complicated:

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

*x*^{x2 + yy3}

Here are some more examples:

is a matching if .

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.