TeX教程

转自 【抢工作向】一个更适合玩物理的同学的论坛TeX教程

1. 基础知识

如何在你的帖子里插入一个(TeX)环境来写公式呢？答案其实很简单，对于不同的要求，我们有两种方法。

第一种只需要在(ackslash()和(ackslash))中间插入你想要的公式即可，它适合你在一个句子内插入公式，如：
“勾股定理表示为(ackslash( ext{a^2+b^2=c^2}ackslash))”的效果就是“勾股定理表示为(a^2+b^2=c^2)”。

另一种情况是用双美元符号，在两个双美元符号，如($$)，中间键入你需要的公式。这种环境下，公式是被单独提出来的，自动在下一行居中显示。如：
“勾股定理表示为($$ ext{a^2+b^2=c^2}$$)”的效果就是“勾股定理表示为$a^2+b^2=c^2$”。

其次，需要提及的是，在(TeX)语言中，有很多符号是有特殊意义的，因此你不能直接在使用到(TeX)的部分里运用，否则会造成你不想看到的后果。这些符号中常用的如下：
# $ % ^ & _ { } ~
如必须在使用到(TeX)的部分里运用，可以分别通过
# \$ \% ^{} & \_ { } ~{} ackslash
得到。当然在论坛上，我还是建议这些字符能在非(TeX)命令下使用就在非(TeX)命令下使用，比如“一瓶可乐$2.25”就是一个你没必要在(TeX)命令下表示的东西。
        
其中是(TeX)中调用命令的符号，如sin表示(sin)，sqrt{b}表示(sqrt{b})等等，在后加入特定的字母字符或特殊字符组成命令。命令后以紧连空格，数字或非字母字符来表示结束命令，比如：表示(langle a|)时，我们需要的命令为langle a|而非langlea。强烈建议养成一个习惯就是，总在命令后面留一个空格，不管后面是不是直接连着数字。公式命令中插入空格不会导致在公式中插入空格。

{}成对出现，在(TeX)公式中常常用来保护一些表达，或将命令环境的影响范围覆盖到整个{}括到的范围内，如下面会提到的指数的例子。

2. 常用的符号命令

这里写到的都是不用我做说明就可以直接用的符号，按照平时写的惯例来写就足够了。
(1) 符号
(egin{array}{|c|c|c|c|c| }
hline
ext{符号} & ext{命令} & ext{示例} & ext{示例指令}& ext{备注}\
hline
+ & + & a+b & a+b \
hline
- & - & a-b & a-b \
hline
imes & ext{ imes} & a imes b & ext{a imes b} \
hline
cdot & ext{cdot} & xcdot y & ext{xcdoty} \
hline
div & ext{div} & adiv b & ext{adiv b} \
hline
= & ext{=} & a= b & ext{a=b} \
hline
: & ext{:} & a:b & ext{a: b} \
hline
< & ext{<} & a< b & ext{a< b} \
hline
> & ext{>} & a>b & ext{a> b} \
hline
eq & ext{ eq} & a eq b & ext{a eq b} \
hline
leq & ext{leq} & aleq b & ext{aleq b} & ext{是小写L而非I} \
hline
geq & ext{geq} & ageq b & ext{ageq b} \
hline
ll & ext{ll} & all b & ext{all b} & ext{是小写L而非I} \
hline
gg & ext{gg} & agg b & ext{agg b} \
hline
simeq & ext{simeq} & asimeq b & ext{asimeq b} \
hline
approx & ext{approx} & aapprox b & ext{aapprox b} \
hline
cong & ext{cong} & Acong B & ext{Acong B} \
hline
emptyset & ext{emptyset} & A=emptyset & ext{A=emptyset} & ext{这是空集，而非希腊字母}Phi \
hline
in ext{或} i & ext{in或 i} & ain A；A i a & ext{ain A；A i a} \
hline
otin & ext{ otin} & a otin A & ext{a otin A} \
hline
subset ext{或}supset & ext{subset或supset} & Asubset B；Bsupset A & ext{Asubset B；Bsupset A} \
hline
subseteq ext{或}supseteq & ext{subseteq或supseteq} & Asubseteq B；Bsupseteq A & ext{Asubseteq B；Bsupseteq A} \
hline
cap & ext{cap} & Acap B & ext{Acap B} & ext{大符号}igcap ext{会在后面进行说明}\
hline
cup & ext{cup} & Acup B & ext{Acup B} & ext{大符号}igcup ext{会在后面进行说明}\
hline
forall & ext{forall} & forall xin A & ext{forall xin A} \
hline
exists & ext{exists} & exists xin A & ext{exists xin A} \
hline
eg & ext{ eg} & eg P & ext{ eg P} \
hline
wedge & ext{wedge} & Pwedge Q & ext{Pwedge Q} & ext{大符号}igwedge ext{会在后面进行说明}\
hline
vee & ext{vee} & Pvee Q & ext{Pvee Q} & ext{大符号}igvee ext{会在后面进行说明}\
hline
oplus & ext{oplus} & Aoplus B & ext{Aoplus B} & ext{大符号}igoplus ext{会在后面进行说明}\
hline
otimes & ext{otimes} & Aotimes B & ext{Aotimes B} & ext{大符号}igotimes ext{会在后面进行说明}\
hline
circ & ext{circ} & fcirc g & ext{fcirc g} \
hline
prime & ext{prime} & f^{prime}(x) & ext{f^{prime}(x)} \
hline
angle & ext{angle} & angle A & ext{angle A} \
hline
parallel & ext{parallel} & lparallel k & ext{lparallel k} \
hline
perp & ext{perp} & lperp k & ext{lperp k} \
hline
| & ext{|} & 3|6 & ext{3|6} \
hline
langle & ext{langle} & langlepsi| & ext{langlepsi|} \
hline
angle & ext{ angle} & |psi angle & ext{|psi angle} \
hline
propto & ext{propto} & Fpropto a & ext{Fpropto a} \
hline
dagger & ext{dagger} & A^{dagger} & ext{A^{dagger}} \
hline
hbar& ext{hbar} \
hline
partial & ext{partial} & partial f & ext{partial f} \
hline
infty & ext{infty} \
hline
abla & ext{ abla} & ablaoldsymbol{E} & ext{ ablaoldsymbol{E}} & ext{这是哈密顿算子而非倒三角} \
hline
end{array})
(2) 希腊字母
(egin{array}{|c|c|c|c|c|c|c|c|}
hline
ext{命令} & ext{字母} & ext{命令} & ext{字母} & ext{命令} & ext{字母} & ext{命令} & ext{字母} \
hline
ext{alpha} & alpha & ext{eta} & eta & ext{gamma} & gamma & ext{delta} & delta \
hline
ext{epsilon} & epsilon & ext{varepsilon} & varepsilon & ext{zeta} & zeta & ext{eta} & eta \
hline
ext{ heta} & heta & ext{vartheta} & vartheta & ext{iota} & iota & ext{kappa} & kappa \
hline
ext{lambda} & lambda & ext{mu} & mu& ext{ u} & u & ext{xi} & xi \
hline
ext{pi} & pi & ext{varpi} & varpi & ext{ ho} & ho & ext{varrho} & varrho \
hline
ext{sigma} & sigma & ext{varsigma} & varsigma & ext{ au} & au & ext{upsilon} & upsilon \
hline
ext{phi} & phi & ext{varphi} & varphi & ext{chi} & chi & ext{psi} & psi \
hline
ext{omega} & omega & ext{Gamma} & Gamma & ext{Delta} & Delta & ext{Theta} & Theta \
hline
ext{Lambda} & Lambda & ext{Xi} & Xi & ext{Pi} & Pi & ext{Sigma} & Sigma \
hline
ext{Upsilon} & Upsilon & ext{Phi} & Phi & ext{Psi} & Psi & ext{Omega} & Omega \
hline
end{array})
(3) 箭头
(egin{array}{|c|c|c|c|c|c|}
hline
ext{命令} & ext{符号} & ext{命令} & ext{符号} & ext{命令} & ext{符号} \
hline
ext{leftarrow} & leftarrow & ext{rightarrow} & ightarrow & ext{leftrightarrow} & leftrightarrow \
hline
ext{Leftarrow} & Leftarrow & ext{Rightarrow} & Rightarrow & ext{Leftrightarrow} & Leftrightarrow \
hline
ext{mapsto} & mapsto & ext{rightleftharpoons} & leftrightharpoons \
hline
end{array})

3 一些常用运算

(1) 指数和开根
指数是最简单的上标运用命令，其命令为a^b，效果为(a^b)，当指数很长时我们便需要在指数部分用{}来保护指令，如a^{b+c+d}效果为(a^{b+c+d})，而加入我们不加{}保护指令，(TeX)就会自动的在环境作用于下一个字符后取消环境，如a^b+c+d的效果为(a^b+c+d)
开根同样是一个常用的命令。比如开平方的指令sqrt{}，{}用来表示sqrt作用的环境。如果开根的里面是数字，我们便可以直接写sqrt 2，但如果里面是字母开头或者是很长的项，这里就不可以删掉{}，即便你只想表示(sqrt{a})。
如果不是开平方而是开n次方呢？其命令是sqrt{}[]，这里{}里是开根里面的项而[]中你要开的次数，比如sqrt[100]{x}就表示(sqrt[100]{x})
(2) 积分与多重积分
平时我们所用的积分符号为int，效果为(int)。很明显这比我们所期望的大小要小很多，这是因为(TeX)会主动将这个符号缩成一行的高度。想要让它看起来自然，就需要在前面加一个displaystyle指令来使得积分符号变成它应有的样子(这一节的下面写到的所有命令示例我都会删掉displaystyle，要记得在使用的时候加上)，如displaystyleint。我们可以用上下指标命令【_和^】来标记上下限或积分范围，如： int_a^b为(displaystyleint_a^b)， int_{x=2}^{x=4}为(displaystyleint_{x=2}^{x=4})， int_L为(displaystyleint_L)等。

如果我们要写多重积分，仅仅把int指令排成一排的效果不是很好，每个积分号间的距离大得可怜。这里有两种缩进方法：
第一种是用空格指令!来对积分号间进行缩进，!的数量决定了你的缩进距离，举例如下：
int!!!int!!!int的效果为(displaystyleint!!!int!!!int)
于是你发现它确实缩进了很大的空间。这里只需要在第一个int前加displaystyle就可以使得整个积分变成正常大小。但是这种方法太麻烦，打!打到手癌。于是我们便有一种更高明的做法，直接运用(TeX)里提供的命令iiint，这里的i的数量决定了积分号的数量，如：
iint为(displaystyleiint)，而iiiint为(displaystyleiiiint)
这就使得输入的东西更少了。这种做法的坏处在于，(TeX)自带的重积分符号最多可表示到4重积分，到了第五个就会显示没有这个指令。因此按照使用情况，可以自行调整缩进方法。事实上我估计也没几个人会用到那么多的积分号，即使到了很高维的积分我们也有更好的表达方式来表示。
(3) 求和
求和的命令为sum，同样地需要displaystyle来调节它的大小。求和的上下指标同样由上下指标命令得到，这里便不会自动把指标像积分那样放在符号的右边。例如：sum_{i=0}^{infty}得到的就是(displaystylesum_{i=0}^{infty})。
当我们不用displaystyle调节求和指令的时候，求和符号的上下标就会自动跑到右边去，如：(sum_a^b)
(4) 上表中提及的大符号的使用
我们之前有提到会在后面讲解大符号的运用。实际上，大符号的运用和求和的运用是几乎相同的，模仿就好。以下在上表基础上新加两个符号：
(egin{array}{|c|c|}
hline
ext{命令} & ext{符号} \
hline
ext{prod} & prod \
hline
ext{coprod} & coprod \
hline
end{array})
(5) 极限运算和三角函数/双曲函数
我们一般写极限和三角函数/双曲函数都是直接写sin，lim，或者cosh等，但在(TeX)里早就包含了这些函数的命令。即sin，lim，cosh。
极限的运算比较特殊，它有两种表现形式。一种是直接用下标，这个时候下标是显示在lim的右下角的，即lim_{x ightarrow 0}x=0为(lim_{x ightarrow 0}x=0)。而另一种是用极限命令，即limlimits_{a o b}a=b的形式，如limlimits_{x o 0}x=0即(limlimits_{x o 0}x=0)。
对于三角函数和双曲函数，运用就比较简单，如sin(2x+2)即(sin(2x+2))。如果表示的是sin的n次方，那么就是sin^n(2x+2)即(sin^n(2x+2))。
以下是一些常用的(TeX)自带函数命令(除去三角函数，反三角函数和双曲函数外)：
(egin{array}{|c|c|c|c|c|c|}
hline
ext{命令} & ext{函数} & ext{命令} & ext{函数} & ext{命令} & ext{函数}\
hline
ext{arg} & arg & ext{sup} & sup & ext{exp} & exp \
hline
ext{Re} & Re & ext{Im} & Im & ext{gcd} & gcd \
hline
ext{deg} & deg & ext{det} & det & ext{hom} & hom \
hline
ext{dim} & dim & ext{inf} & inf & ext{ker} & ker \
hline
ext{lg} & lg & ext{lim} & lim & ext{liminf} & liminf \
hline
ext{limsup} & limsup & ext{ln} & ln & ext{log} & log \
hline
ext{max} & max & ext{min} & min & ext{Pr} & Pr \
hline
end{array})

4. 排列，矩阵和方程组

排列，或称数阵，是一个语言环境，它以begin{array}开头以 end{array}结尾(实际上前面有开头，但是由于它是构造环境会在帖子里直接作用，所以这里以及下面的都省略掉)。它是在数学环境下进行的。实际上，上文的表都是由这个环境构造的。在(TeX)中有专门的表格环境，但在论坛上貌似没有被支持。因此，排列就成了一个制表的好的方案。在此只讲最简单的列表方法，想要美化的(比如用加粗线段之类的)请自行翻看相关教程。
首先明确排列的格式：
begin{array}}{|l|c|r|}
hline
AAAA & AA & AAAAAA \
hline
BB & BBBBBBB & B \
hline
end{array}
这段的效果就是
(egin{array}{|l|c|r|}
hline
AAAA & AA & AAAAAA \
hline
BB & BBBBBBB & B \
hline
end{array})
这里的begin{array}}与end{array}})限制了排列环境的作用范围。begin{array}后的{}中给出了排列的整体设置，其中l为居左，c为居中，r为居右，分别限制了左列，中列，和右列的对齐方案。而“l|c”中，l与c之间的“|”表示在两列之间用竖线进行划分，在这个设置中，哪里有|，下面的表格中哪里就有|。hline命令是在两行之间画一个线，贯穿整个排列的覆盖区域。
每行之间的元素要用&来隔开，而每行的最后要用\，也就是(TeX)中常用的换行指令进行换行。hline后不应该加\换行。由于array环境建立在数学环境中，因此假如在其中要用英文文字，需要引用 ext{}指令来在数学环境中输入文字。如：
begin{array}{|c|c|c|c|}
hline
We like physics & ext{我们喜欢物理} & ext{We like physics} & 我们喜欢物理\
hline
end{array}
的效果为：
(egin{array}{|c|c|c|c|}
hline
We like physics & ext{我们喜欢物理} & ext{We like physics} & 我们喜欢物理\
hline
end{array})
数学环境下英文文字自动按照公式处理。而之前说过公式命令下插入空格不会在公式中插入空格，因此第一列中的英文完全是按照公式来进行处理的。而明显的是，公式处理环境不会主动处理中文。

矩阵中我们常用到三个点的省略号来表示一些省略，有横有竖还有斜，这些都可以通过命令实现：
(egin{array}{|c|c|c|c|}
hline
符号 & 命令 & 符号 & 命令 \
hline
cdots & ext{cdots} & ddots & ext{ddots} \
hline
vdots & ext{vdots} & dots & ext{dots} \
hline
end{array})
cdots和dots的区别在于一个的点是位于行中间的，一个是位于行下方的。

因此我们便可以尝试些矩阵。但是矩阵有两个大括号，那么在公式中怎么插入呢？幸好(TeX)中自带调整的命令。这个命令就是left和 ight两个命令。他们跟着()，[]，{}，(langle angle)，和|等分界符号就可以让他们变成适合当前格式的大小，比如：
dfrac{(dfrac{4pi}{E-asqrt[3]{F}})}{sqrt2}
的效果为
(dfrac{(dfrac{4pi}{E-asqrt[3]{F}})}{sqrt2})
这里的括号很明显不能括住整个分式，因此我们可以使用这个命令来调整：
dfrac{left(dfrac{4pi}{E-asqrt[3]{F}} ight)}{sqrt2}
(dfrac{left(dfrac{4pi}{E-asqrt[3]{F}} ight)}{sqrt2})
值得注意的是，left和 ight必须成对出现，假如只出现left或 ight，则会编译失败。因此我们可以结合两个命令写出矩阵：
left(begin{array}{cc}
1 & i \
i & 1
end{array} ight)
效果为
(left(egin{array}{cc}
1 & i \
i & 1
end{array} ight))
当然不是必须要用left ight命令调整大小，如果愿意也可以用ig，Big，igg和Bigg命令自行调整。比如：
ig(Big(igg(Bigg(效果为(ig(Big(igg(Bigg()

而对于方程组，这个问题就不一样了，很明显方程组一般只具有左边一个大大的“{”来表示“且”，而没有右边一个“}”进行配对，那么根据上面介绍的，只写一个left{就会编译错误(注意，因为“{”是特殊字符所以要用“{”)，所以如何解决呢？答案很简单。我们需要给出一个隐藏的右分隔符，即“ ight.”，下面的点是一个英文句号。于是我们便可以有：
y=left{begin{array}{cl}
a & x<1 \
b & x=1 \
c & x>1
end{array} ight.
效果为：
( y=left{egin{array}{cl}
a & x<1 \
b & x=1 \
c & x>1
end{array} ight.)
这里我们用cl对齐而不是cc，因为条件一般不是居中写的。

5. 幻影，空格和缩进的使用方法

何谓幻影呢。幻影(phantom)在(TeX)中意味着占位，但你却看不到它，其命令为phantom{}。{}中所包含字符的长度就是幻影的长度。以一个张量(T_{phantom{mu} u}^{mu})举例，无论我按照下面哪种形式来写，结果都是一样的：
T_{mu}^{ u}，T^{ u}_{mu}，其效果均为(T^{ u}_{mu})，装个逼来说就是(TeX)中的上下指标是对易的，因为我交换上下标的前后位置后得到的都是这样一个上下对齐的结果。因此，幻影就成了一个必要的命令：
T_{phantom{mu} u}^{mu}效果为(T_{phantom{mu} u}^{mu})
这样一来就变成了我想要的写法。因为phantom中的字符长度就是一个希腊字符在上下标中的长度，因此下标( u)前留出了一个上标对应的间隙。

前文也说过，公式环境下插入的空格并不会在公式编译后留下，那么如何在必要的时候写一个空格出来呢。这里我们有一个指令quad，表示插入一个空格，同样的有qquad，q的数量决定了你插入的空格长度。我们还有更小的空格命令如“\,”，“:”和“;”，分别为(frac{3}{18})，(frac{4}{18})，和(frac{5}{18})倍的quad命令长度。总体效果如：
A\, B效果为(A\, B)
A: B效果为(A: B)
A; B效果为(A; B)
Aquad B效果为(Aquad B)
Aqquad B效果为(Aqquad B)

那么如果我觉得两个字符间距离太大了怎么办呢？那么就用在介绍多重积分符号那里的方法，即用!进行缩进。!的数量越多，缩进的距离越多：
A! B效果为(A!B)
A!! B效果为(A!!B)

6. 粗体和字符上的标志

很明显的，粗体在公式中也不是不常见。论坛编辑中自带的加粗是没用的，因为它改变的不是(TeX)自身编译出来的加粗。这种情况下，我们需要引入oldsymbol指令来加粗一个对象。这个对象对于单字符和命令都是可行的，只要他们是在数学环境下。如：
mu和oldsymbol{mu}的对比(mu；oldsymbol{mu})
S和oldsymbol{S}的对比(S；oldsymbol{S})

我们还有很多的标记方法，比如在小写字母上标一个^表示基矢，标一个 - 表示平均值，这时我们就有了如下指令：
(egin{array}{|c|c|c|c|c|c|}
hline
符号 & 命令 & 符号 & 命令 & 符号 & 命令 \
hline
hat{a} & ext{hat{a}} & check{a} & ext{check{a}} & ilde{a} & ext{ ilde{a}} \
hline
acute{a} & ext{acute{a}} & grave{a} & ext{grave{a}} & dot{a} & ext{dot{a}} \
hline
ddot{a} & ext{ddot{a}} & reve{a} & ext{reve{a}} & ar{a} & ext{ar{a}} \
hline
vec{a} & ext{vec{a}} & widehat{A} & ext{widehat{A}} & widetilde{A} & ext{widetilde{A}} \
hline
end{array})

有的时候我们需要在符号上加符号，比如(stackrel{?}{=})，这种情况下我们可以应用stackrel{}{}指令，其中第一个括号内是放在上方的，第二个括号内是放到下方的，如：
stackrel{?}{=}便可以得到(stackrel{?}{=})

7. 特殊字体

物理中常用到特殊字体，比如拉普拉斯变换(mathcal{L})。因此我们在此介绍一些字体命令：
(egin{array}{|c|c|}
hline
命令 & 示例 \
hline
ext{mathrm{}} & mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \
hline
ext{mathit{}} & mathit{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \
hline
ext{mathcal{}} & mathcal{ABCDEFGHIJKLMNOPQRSTUVWXYZ} \
hline
end{array})