怎样输入完美的TeX公式

不要以为有了 TeX 你的公式就完全无可挑剔，TeX 输入的公式虽然不假思索就可以比其它程序来的漂亮，但是我们的目的不是跟其它程序比较。我们的目的是用最优雅的方式来表达我们的思想。TeX 只是一个工具，用它能创造出一流的数学书，也能写出一堆漂亮的垃圾。我见到过的最好和最糟的讲义都是用 TeX 写的。

下面来看看为了得到无懈可及的公式，几个需要注意的细节。这些好主意都来自 "The TeXbook"，我或多或少是在翻译，你有兴趣可以自己看看这本书。

1. 手动调整公式中的字符间据

   在“TeX释疑”里我们遇到这个公式：

   

   我说是这样打出来的：

   $$\sum_{p\rm\;prime}f(p) = \int_{t>1}f(t)d\pi(t).$$
   

   其实为了避免引起不必要的复杂，我撒了一个谎 :) 你用这个方法输入的公式其实是这个样子：

   

   看不出区别吗？仔细看着 f(t) 和 dPi(t) 之间的间隔，是不是小了一点？

   上面的公式其实少了一个地方，它本来应该是：

   $$\sum_{p\rm\;prime}f(p) = \int_{t>1}f(t)\,d\pi(t).$$
   

   "\," 是一个 thinspace, 如果没有它 f(t) 和 dPi(t) 就会靠的太近，\, 的大小是 1/6 quad, 一个 quad 的长度跟字体大小有关系，是一个 "M" 的宽度(1em)。看到了？TeX 的公式是非常考究的，有时你必须自己手动调整公式里字符的间距，否则你的公式就只是 99% 的完美，而不是 100%.

   还有一种情况，双重积分号如果这样输入：

   $$\int\int_D dx\,dy$$
   

   就会变成这样：

   

   显然那两个弯离得太远。你应该这样输入：

   $$\int\!\!\!\int_D dx\,dy$$
   

   结果才会是你想要的：

   

   两个积分号之间距离减少了3个thinspace. 因为 \! 就是 -1/6 quad.

   另外，花括号也需要特别注意: 如果表示一个序列，你可以这样写：

   $\{1,2,\ldots,n\}$
   

   结果是正确的:

   

   但是，如果你想把一个集合

   

   用这种方法打出来:

   $\{x\mid x>5\}$
   

   就会得到这种结果：

   

   因为中间的 "|" 两旁有比较大的间隙，花括号两端里面的空间显得小了点。用 \, 在两端加上 thinspace 就更加好看了。

   如果你想用

   $|-x|=|+x|$
   

   表示

   

   其实你得到的是

   

   因为 TeX 实际上不理解数学，它认为你想把 "|" 和 "x" 相加减，结果在它们之间插入了过多的空间。为了消除这个误解，你必须说：

   $\left|-x\right|=\left|+x\right|$
   

   \left 和 \right 告诉 TeX，"|" 是一个分界符而不是一个操作数。这是对付一台“试图变得聪明的电脑”的小窍门。

   看到这些你是不是觉得“怎么TeX并不是我想象中的那么聪明？”对。TeX 绝对没有你聪明，机器就是机器，它其实不理解数学。在这种时候只有人的判断才是正确的。

   其实这只是一个视觉才能感受到的东西，你不可能记住所有这些。开始时你不用过于专心于这些细节，当你发现一个公式看起来确实有问题时才去做这些细节的调整。久而久之你就会积累很多经验，直接就可以得到最好的效果。

   想一想应该怎样输入以下公式？特别注意间隔。

   

   

   

2. 两种不同的逗号。

   

   一个 TeX 的初学者可能会打出这样的公式：

   for $x = a, b$, or $c$.
   

   这样的结果是图中上面那一个。 比较一下下面的那个，它是这样打出来的：

   for $x = a$, $b$, or $c$.
   

   第一种作法中，逗号被作为了公式中的逗号，就像 "f(a,b)" 里的；而第二种写法中，逗号被作为了文章里的普通逗号，这两种逗号是不同的。公式里的逗号后面的间距比文章里的要小，这样第一个公式里出现两种不同大小的间隔，这是很不好看的。

   而且公式里的逗号处不可能被断行，因为你明显不希望 "f(a,b)" 这样的结构被自动分开。这样第一个公式的逗号处不可能被断开，这会影响断行的效果。在这个句子里，那个逗号明显应该是文章中的普通逗号，它不应该在数学公式里，所以第二种做法才是完全正确的。

   实际上 100% 完美的做法应该是这样：

   for $x = a$, $b$, or~$c$.
   

   加了一个 "~". "or" 和 "$c$" 在断行时不应该被分断，这样你的文章看起来逻辑才会联贯。要是那个 "$c$" 出现在一行的开头，读者的注意力很容易被分散。

3. 不同的省略号。

   看到上面两行有什么不同吗？它们是分别用以下两行打出来的。

   $x_1+x_2+\cdots+x_n$\quad and \quad $x_1,\ldots, x_n$
   

   $x_1+x_2+\ldots+x_n$\quad and \quad $x_1,\cdots, x_n$
   

   哪一行好看一些？当然是上面的了，通常应该把 \cdots 用在 +,-,= 这类“高脚符号”之间，而把 \ldots 用在逗号这样的“矮子” 符号之间。不幸的是我发现很多书籍错用了这两种符号，或者是因为 它的作者使用的程序无法区分这两种符号。

   看看下面这些情况应该用哪个标点？

   

   

祝贺你看到了这里 :) 不过其实这页的标题根本就是错误的。知 道这些“完美的细节”远远不够保证你写出“完美的公式”，虽然你 很仔细的对你的公式精雕细琢，以至于没有一个书法家能对它的美观 性有所异议，但是有可能你的思想要用完全不同的另一个公式写出来 才能让人明白。