LATEX 使用一种特殊的模式来排版数学符号和公式。段落中的数学表达式应该置于( 和)， $ 和$ 或者begin{math} 和end{math} 之间。
$c^{2}=a^{2}+b^{2}$
对于较大的数学式子，最好的方法是使用显示式样来排版：将它们放置于[ 和] 或begin{displaymath} 和end{displaymath} 之间。这样排版出的公式是没有编号的。如果你希望LATEX 对其添加编号的话，可以使用equation 环境来达到这一目的。
对比一下用不同式样排版所得到的结果：
$lim_{n to infty}
sum_{k=1}^n frac{1}{k^2}
= frac{pi^2}{6}$
begin{displaymath}
lim_{n to infty}
sum_{k=1}^n frac{1}{k^2}
= frac{pi^2}{6}
end{displaymath}
特殊字符
下面的这些字符是LATEX 的保留字符，它们或在LATEX 中有特定的用处，或不一定包含在所有的字库中。如果你直接在文本中使用它们，通常在排版结果中将不会得到这些字符，而且还会导致LATEX 做一些你不希望发生的事情。
# $ % ^ & _ { } ~
当然，这些字符前面加上反斜线，就可以在文本中得到它们。
# $ % ^{} & _ { } ~{}
另外一些符号可以由特殊的命令或作为重音命令得到。反斜线不能够通过在其前添加另外的反斜线来得到，相反的， 是一个用来断行的命令。
1.小写希腊字母（Lowercase Greek letters ）的输入命令为：alpha,
beta, gamma, . . . ，相应地，大写形式的输入命令为：Gamma, Delta,. . . 。
$lambda,xi,pi,mu,Phi,Omega$
2.指数和下标可用^ 和_ 后加相应的字符来实现。
$a_{1}$ qquad $x^{2}$ qquad
$e^{-alpha t}$ qquad
$a^{3}_{ij}$
$e^{x^2} neq {e^x}^2$
3.平方根（square root）的输入命令为：sqrt，n 次方根相应地为:sqrt[n]。方根符号的大小由LATEX自动加以调整。也可用surd 仅给出符号。
$sqrt{x}$ qquad
$sqrt{ x^{2}+sqrt{y} }$
qquad $sqrt[3]{2}$[3pt]
$surd[x^2 + y^2]$
4.命令overline 和underline 在表达式的上、下方画出水平线。
$overline{m+n}$ qquad
$underline{m+n}$
5.命令overbrace 和underbrace 在表达式的上、下方给出一水平的大括号。
$underbrace{ a+b+cdots+z }_{26}$
6.向量（Vectors）通常用上方有小箭头（arrow symbols）的变量表示。这可由vec 得到。另两个命令overrightarrow 和overleftarrow
在定义从A 到B 的向量时非常有用。
begin{displaymath}
vec aquadoverrightarrow{AB}
end{displaymath}
7.乘法算式中的圆点符可以省略。然而有时为了帮助读者解读复杂的公式，也有必要用命令cdot 将圆点符表示出来。
begin{displaymath}
v = {sigma}_1 cdot {sigma}_2
{tau}_1 cdot {tau}_2
end{displaymath}
8.函数名通常用罗马字体正体排版，而不是像变量名一样用意大利体排版。因此，LATEX提供下述命令来排版最重要的一些函数名。
arccos cos csc exp ker limsup min
arcsin cosh deg gcd lg ln Pr
arctan cot det hom lim log sec
arg coth dim inf liminf max sin
sinh sup tan tanh
[lim_{x rightarrow 0}
frac{sin x}{x}=1]
9.分数（fraction）使用frac{...}{...} 排版。
$1frac{1}{2}$~hours
begin{displaymath}
frac{ x^{2} }{ k+1 }qquad
x^{ frac{2}{k+1} }qquad
end{displaymath}
10.排版二项系数或类似的结构可以使用命令{... choose ...} 或{... atop ...}。第二个命令与第一个命令的输出相同，只是没有括
号。
begin{displaymath}
{n choose k}qquad {x atop y+2}
end{displaymath}
11.积分运算符（integral operator）用int 来生成。求和运算符（sum operator）由sum 生成。乘积运算符（product operator）由prod 生成。上限和下限用^ 和_ 来生成，类似于上标和下标。
begin{displaymath}
sum_{i=1}^{n} qquad
int_{0}^{frac{pi}{2}} qquad
prod_epsilon
end{displaymath}
12.对于括号（braces）和其它分隔符（delimiters），在TEX中有各种各样的符号（例如[ h k l）。圆括号和方括号可以用相应的键输入。花括号用{。其它的分隔符用专门命令（例如updownarrow）来生成。
begin{displaymath}
{a,b,c}neq{a,b,c}
end{displaymath}
13.将三个圆点（three dots）输入公式可以使用几种命令。ldots 将点排在基线上。cdots 将它们设置为居中。除此之外，可用vdots 命令使其垂直，而用ddots 将得到对角型（diagonal dots）。
begin{displaymath}
x_{1},ldots,x_{n} qquad
x_{1}+cdots+x_{n}
end{displaymath}
14.如果公式中由TEX选择的的空格不令人满意，可以通过插入特殊的空格命令来进行调节。有几个命令用于小空格:, 对应于3/18 quad ( )，: 对应于4/18 quad ( )，; 对应于5/18 quad ( )。脱离的空格符号 生成中等大小的空格。quad ( ) 和qquad ( ) 产生大空格。quad 的大小对应于目前字体中字符‘M’ 的宽度。! 命令生成负空格-3/18 quad ( )。
newcommand{ud}{mathrm{d}}
begin{displaymath}
int!!!int_{D} g(x,y)
, ud x, ud y
end{displaymath}
instead of
begin{displaymath}
intint_{D} g(x,y)ud x ud y
end{displaymath}
15.排版arrays 使用array 环境来排版矩阵（arrays）。它有些类似于tabular环境，使用 命令来分行。
begin{displaymath}
mathbf{X} =
left( begin{array}{ccc}
x_{11} & x_{12} & ldots
x_{21} & x_{22} & ldots
vdots & vdots & ddots
end{array} right)
end{displaymath}
array 环境也可以使用“.” 作为隐藏右分隔符来排版只有一个大分隔符的表达式。
begin{displaymath}
y = left{ begin{array}{ll}
a & textrm{if $d>c$}
b+x & textrm{in the morning}
l & textrm{all day long}
end{array} right.
end{displaymath}
像在tabular 环境中一样，也可以在array 环境中画线。例如分隔矩阵中的元素。
begin{displaymath}
left(begin{array}{c|c}
1 & 2
hline
3 & 4
end{array}right)
end{displaymath}
对于分布于几行的公式或者方程组（equation system），可以使用eqnarray 和eqnarray* 环境来代替equation。在eqnarray 中，每一行都会有一个方程编号。eqnarray* 不对方程进行编号。eqnarray 和eqnarray* 环境类似于{rcl} 形式的三列表格。中间的一列可以用作等号或不等号，或者其它看起来适合的符号。使用 命令分行。
begin{eqnarray}
f(x) & = & cos x
f'(x) & = & -sin x
int_{0}^{x} f(y)dy &
= & sin x
end{eqnarray}
16.在LATEX中很难得到粗体符号。这也许是故意的，因为业余排版者总是过份使用粗体。字体改变命令mathbf 给出粗体字母，但是这些是罗马字体（竖直的），而数学符号通常是斜体。有一个boldmath 命令，但是这只能用于数学模式之外。对于符号也是如此。
begin{displaymath}
mu, M qquad mathbf{M} qquad
mbox{boldmath $mu, M$}
end{displaymath}
使用工具包中的amsbsy（包括在amsmath 中）和bm 很容易办到这点，因为它们包含boldsymbol命令。
begin{displaymath}
mu, M qquad
boldsymbol{mu}, boldsymbol{M}
end{displaymath}
