LaTeX:Math

LaTeX
About - Getting Started - Diagrams - Symbols - Downloads - Basics - Math - Examples - Pictures - Layout - Commands - Packages - Help

This article will detail how to work with math mode in LaTeX and how to display equations, formulas, and mathematical expressions in general.

Math Mode

LaTeX uses a special math mode to display mathematics. To place something written in TeX in math mode, use $ signs to enclose the math you want to display. For example, open a new source file in TeXnicCenter and type or copy/paste the following:


\documentclass{article}
\begin{document}
The solution to $\sqrt{x}=5$ is $x=25$.
\end{document} 

Save the document (press Ctrl-S or click File, then Save) as 'mymath' (don't include the quote marks in the name) in a folder of your choice. The file will appear in your folder as 'mymath.tex.'

Compile the document just as you compiled your first document. When you view the output file, you should see

Mathsamp1.gif

If you remove the $ symbols from your source file then try to compile, you should get 'Missing $ inserted' error messages in the Output window of TeXnicCenter (try it and see - you may have to scroll up in the Output window to see the errors).

Nearly all mathematical items, such as variables, expressions, equations, etc., should be written in math mode. In fact, most math will generate errors if you don't remember to put it in math mode.

Display Math

As we saw above, when using $...$ to typeset math, the resulting math expression appears in-line. Sometimes, we may wish to display a mathematical expression on its own line. To do so, we use \[math stuff here\] or $$math stuff here$$ (the former is usually preferred now) to put the expression in display math mode:

\documentclass{article} 
\begin{document}
The solution to \[\sqrt{x} = 5\] is \[x=25.\]
\end{document} 

After you compile this and view it, you should see:

Mathsamp2.gif

Notice that the equations are on their own lines and are centered. As a matter of style, usually we put this display math on their own lines in the source file, like this:

\documentclass{article}
\begin{document}
The solution to
\[                                                                                                                                                                                                   
\sqrt{x} = 5
\]
is
\[
x=25.
\]
\end{document} 

We can also use

\begin{equation} ... \end{equation}

to display mathematics. This also creates a label, which we can refer to throughout the document using \label and \ref (or \eqref, using the amsmath package). See the following example:

\documentclass{article}
\usepackage{amsmath}

\begin{document}
The quadratic formula is shown in Equation~\eqref{eqn:quadratic}.

\begin{equation} \label{eqn:quadratic}
x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
\end{equation}

Using Equation~\eqref{eqn:quadratic}, we obtain...
\end{document} 

Notice the (1) to the right of the equation. Once again, rather than typing (1) in your source file to refer to this equation, use LaTeX referencing commands. It is also considered good style to add ~ before commands such as \ref, \eqref, \cite; the ~ symbol represents an unbreakable space (so that you do not have a reference on the following line).

Display Style (\displaystyle)

Sometimes we have complicated expressions that we don't want to put on their own lines, but that doesn't render well with $...$ mode. For example:

\documentclass{article}
\begin{document}
Evaluate the sum $\sum_{i=0}^n i^3$.
\end{document} 

gives us

Mathsamp3.gif

That summation symbol is a little ugly. We can make it prettier by using \displaystyle:

\documentclass{article}
\begin{document}
Evaluate the sum $\displaystyle\sum\limits_{i=0}^n i^3$.
\end{document} 

This gives us:

Mathsamp4.gif

Notice that the summation symbol looks much nicer now - adding the \displaystyle at the beginning of your math (inside the $...$) will often make complicated math render more nicely. Note that it is not necessary to use \displaystyle when using display mode (\[ and \] or \begin{equation} and \end{equation}).

Aligning Equations (align)

A pair of very useful tools for displaying equations well are the "align" and "align*" environments. They allow you to neatly align a string of equations:

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align*}
2x^2 + 3(x-1)(x-2) & = 2x^2 + 3(x^2-3x+2)\\&= 2x^2 + 3x^2 - 9x + 6\\&= 5x^2 - 9x + 6
\end{align*}
\end{document} 

Compiling this should give: \begin{align*} 2x^2 + 3(x-1)(x-2) & = 2x^2 + 3(x^2-3x+2)\\ &= 2x^2 + 3x^2 - 9x + 6\\ &= 5x^2 - 9x + 6 \end{align*}

There are a few things to notice here. First, the align command requires that you use the package amsmath (and there's no reason to not use this package). Second, the * after align prevents line numbers from popping up after each line - try removing both of the *s from the source file and compile to see equation numbers. Next, notice that each line is of the form

Math stuff & more math stuff \\

The & symbols separate the columns. There must be two columns (i.e. one & symbol). The \\ tells LaTeX that you are finished with this line and are on to the next. Notice that there's no \\ on the last line; the \end{align*} tells LaTeX that you're finished. As you see above, you can leave some columns blank. As a style issue, notice that we start a new line in our source file after each \\. We could run all the lines together, but that makes editing very difficult.

Typically, we use relational symbols like =, >, or < immediately following the &; align ensures that these symbols are arranged into a vertical column as you see above. That's why we like align.

Finally, notice that there are no <dollar/> symbols, $$ ... $$, or \[ ... \], yet everything is rendered in math mode. This happens because align automatically puts everything in math mode - you don't need <dollar/>s or \[ ... \] tags.

Also note that in an align environment, you can use the \nonumber command if you want only some lines to be numbered. For example,

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{align}
2x^2 + 3(x-1)(x-2) & = 2x^2 + 3(x^2-3x+2)\\ \nonumber &= 2x^2 + 3x^2 - 9x + 6\\ &= 5x^2 - 9x + 6
\end{align}
\end{document} 

compiles to this: \begin{align} 2x^2 + 3(x-1)(x-2) & = 2x^2 + 3(x^2-3x+2)\\ \nonumber &= 2x^2 + 3x^2 - 9x + 6\\ &= 5x^2 - 9x + 6 \end{align}

Additional Packages

The basic LaTeX program does not include all the math you'll want to use. In order to access all the math functions and symbols we will introduce in the guide pages, you'll have to include a number of packages. We include these packages by using the \usepackage command between the \documentclass line and the \begin{document} line, such as:

\documentclass{article}
\usepackage{amsmath}
\begin{document}
We can write more than just $x$ now.
Now we can write things like $\binom{5}{3}$.
\end{document}

The package used above is part of the basic MiKTeX installation, so you don't have to download anything new to include them. Later, you may want to read more about how to include more packages and how you can create packages of your own.

Finally, one last point of style - notice in that last example that we put the x in math mode by writing $x$ instead of just x. Try compiling with and without the x in math mode and you'll see why. Always put your math in math mode!

If you find you want to do some math typesetting that you can't find on this page, or among our discussions of symbols or commands, try reading the user's guide for the amsmath package, which contains some of the really fancy applications of the ams packages.

See Also