mathTex教程（译文）
2010-09-13 23:54阅读：
原文链接：
LaTex
Math tourial for mathTex
版权均归作者
greensky个人所有，任何引用或转载请注明原文地址。
说明：本文对极少部分内容进行了适当的删减。
一、预备知识
LaTex是一个字处理程序，可以使你书写包含复杂数学公式的文档。这里简要说明的只是LaTeX的标记语法中的冰山一角——数学部分。为了使这篇文章简短，这里只讨论最基础的特性。
这篇教程是针对mathTex编写的，
mathTex是使有LaTex实现在网页上书定公式的程序。你可以使用你所熟悉的html标记语言来格式化你的文字，你可以书写包含LaTex的字串的<img>标签，来格式化你的数学公式。例如，
<img
src='/cgi-bin/mathtex.cgi?\sqrt{a^2+b^2}'>会在你放置标签的任何位置显示
。
译者注：当在当前的机器上配置好mathTex环境后，才能使用上述的代码。对于机器上没有安装mathTex环境的用户可以使用http://www.forkosh.dreamhost.com/mimetex.cgi? 的在线mathTex服务，方法可以参考文章
《在网页中插入数学公式》。
LaTex字符集
很多键盘字符被渲染成和你期望的相同，例如在LaTex中键入
a...z,0...9,+-*/=()[]仅会被渲染为
[] "mathTex教程（译文）")
。但有些字符在LaTex中有重要的特殊意义，例如下划线
b_i可以产生下标，渲染为
，
a^n会产生上标，渲染为
。LaTex中这些以及其它的特殊字符会在下文中祥细讨论。
特殊的，
反斜线 \ 总是引入LaTex的特殊符号，如
\alpha,\beta,\gamma...\omega（渲染为
），
或是引会LaTex的特殊命令，如
\sqrt \pi (渲染为
)。当你想显示反斜线时，输入
\backslash。
符号和命令
LaTex的特殊符号和命令都是以反斜线\开头，后边跟一个或多个字母字符 a-z,
A-Z。符号或命令通常以一个空格或任何不为字母的字符结束。例如，
\frac2x可以在\frac
和 2 之间不用加空格，正确的渲染为
，
\frac\pi2可以正确的渲染为
。但是
\fracx2不能正确的渲染，因为不存在\fracx的命令。因此需要强制加入一个空格，\frac
x2 可以渲染为
。
命令参数
如上演示的，
\frac需要两个参数，而
\sqrt
只需要一个。相似的，上标
b_i 和下标
a^n需要一个参数。另一些命令不需要参数。当需要参数时，每个LaTex参数都是紧跟命令后的单个字符。但是用大括号引起的任何表达式，都当作一个字符，而且大括号不会被显示。例如，
\frac1{\sqrt{a^2+b^2}}渲染为
。
大括号必须成对出现。无用的成对的大括号通常不会造成危害，所以当有疑问时随时使用它们。如
\sqrt{\frac12}渲染为
。当需要大括号时，输入
\lbrace..\rbrace可以渲染为
。
二、基本名法结构(Basic
constructions)
下标、上标和范围（Sub/superscripts
and Limits）
除了我们前边的例子，符号可能同时存在上标和下标。例如
A_{u,v}^k渲染为
。另外，上下标可能包含任意层级的上下标。例如，
A_{u_i,v_j}^{k_m^n}会渲染为
。
范围（即上下边界）的写法和上下标类似，例如，
\sum_{i=1}^ni=\frac{n(n+1)}2可能会渲染为
}2 "mathTex教程（译文）")
。
表达式以 \displaystyle开头可以确保范围直接在运算符的上下。例如
\displaystyle\sum_{i=1}^n i = \frac{n(n+1)}2 渲染为
}2 "mathTex教程（译文）")
。
分隔符(Delimiters)
通常的圆括号形式有时候会不美观，例如，
(\frac1{\sqrt2}x+y)(\frac1{\sqrt2}x-y)渲染为
(/frac1{/sqrt2}x-y) "mathTex教程（译文）")
。
而LaTex的
命令 \left(...\right)
会处动调整圆括号的大小和其它分隔符，以适应被括起来的内容。例如，
\left(\frac1{\sqrt2}x+y\right)\left(\frac1{\sqrt2}x-y\right)渲染为
/left(/frac1{/sqrt2}x-y/right) "mathTex教程（译文）")
。
通常的圆括号
(...) 不一定对称，但是
\left(...\right)必须成对出现。任何数量的
\middle|可能会出现在一个
\left(...\right)
对之间，以自动调整竖线的尺寸（参见下表第三四个例子）。除了
\left(...\middle|...\right)下面的分隔符也可以自动调整尺寸：
| 分隔符
|
例子 |
渲染结果 |
| \left( ... \right) |
\left( \frac1{1-x^2}
\right)^2 |
^2 "mathTex教程（译文）")
|
| \left[ ... \right] |
\left[ \frac1{\sqrt2}x-y
\right]^2 |
|
| \left\{ ... \right\} |
\left\{ x \in \mathbb{R}
\middle| x
\geq \frac12 \right\} |
 |
\left\langle ...
... \right\rangle |
\left\langle \varphi
\middle|
\hat{H} \middle|
\phi \right\rangle |
 |
| \left| ... \right| |
\left| \begin{matrix} a_1 &
a_2 \\
b_1 & b_2 \end{matrix} \right| |
 |
| \left\| ... \right\| |
\left\| x^2-y^2 \right\| |
 |
| \left\{ ... \right. |
y = \left\{
{\text{this}\atop
\text{that}} \right. |
 |
| \left. ... \right\} |
\left. {\text{this}\atop
\text{that}} \right\} =
y |
 |
注意最后两个例子，任何左分隔符都可以和
\right. 搭配平衡。类似的，任何右分隔符都可以和之前的
\left. 搭配平衡。
分隔符.可以和其它分隔符搭配平衡，但又不显示任何内容，这可以使你格式化如上最后两个的数学表达式。在这些
