本文的主要内容有：

• 如何输入行内公式

• 如何输入行间公式、多行公式

• 常用的数学符号输入方法

相信观察力敏锐的同学一定已经注意到在上一次的推送里的这段代码：

\documentclass[a4paper,12pt,landscape,twocolumn]{
book}

\usepackage{
amsmath}

\begin{
document}

$\frac{
x}{
y}$

\[

\iiint\limits_{
\Omega_{
r}} f(x,y,z) dxdydz

\]

\end{
document}

这段代码里面有着意义不明的 $和 \[、 \]符号。如果你尝试过将这些符号删除的话，TeXstudio会报错，并告诉你这些内容“不在数学环境里”。那么，什么是数学环境呢？

数学环境概述

---

LaTeX有一种数学环境，在这种环境之下，输入的字母会被当做数学符号，用专用的数学字体(通常来说就是斜体，不过确实并不全是)显示出来。上面所说的，用 $、 \[和 \]包裹起来的就会被LaTeX当成数学环境。在这种环境之内，LaTeX支持输入根号、幂、求和号、连乘号、积分号等多种多样的数学符号。

首先，为了取得输入数学公式时的最佳体验，建议大家在导言区加载 amsmath宏包。正如上一篇推送所说，只要在导言区输入 \usepackage{
amsmath}就可以了。

行内公式

LaTeX进入行内公式最为简单的方式是输入用一个 $包裹的表达式。其实，用 \(和 \)包裹也会有一样的效果。但其实它们两个都是一种“环境”的简便表达。这个环境就是 math。总的而言，下面这三个表达方式是等价的。

$\sin{
x}$

\( \cos{
y} \)

\begin{
math}

\tan{
z}

\end{
math}

这是上面的代码的输出效果

(这只是代码片段，不是完整 .tex文档的内容，代入自己的文档时记得使用 amsmath宏包)。

行间公式

行间公式往往用来展示比较长，或者对于文章而言比较重要的公式。

单行公式

最为基础的行间公式的输出方式有三种，分别是用 $$、 \[和 \]以及 displaymath环境。

这是一个例子：

$$\lim\limits_{
r\rightarrow{
0^{+}}}{
\frac{
1}{
r^{
3}} \iiint\limits_{
\Omega_{
r}} f(x,y,z) dxdydz = \frac{
4}{
3} \pi f(P)}$$

\[

\forall \epsilon > 0, \exists \delta > 0, \forall Q \in \Omega_{
\delta}, \vert{
f(Q)-f(P)}\vert<\epsilon

\]

\begin{
displaymath}

\frac{
4}{
3}\pi \delta^{
3} (f(P)-\epsilon) < \iiint\limits_{
\Omega_{
\delta}} f(x,y,z)dxdydz < \frac{
4}{
3}\pi \delta^{
3}(f(P)+\epsilon)

\end{
displaymath}

这是上面的例子的输出效果。

其中，第一种方式不推荐使用。这是plain TeX时代就存在的命令，使用的是固定行距，不利于文章的后期调整。一般而言使用较多的是第二种方法，即用 \[和 \]来进入行间的数学模式。

当然，除了这种最为基础的行间公式，也存在较为高级的环境。

我们可以使用 amsmath提供的 equation环境来达到为自己的公式编号的目的。这样在交叉引用以及后期编辑的时候都有更大的优势。

多行公式

有些时候我们需要输入的公式特别长，导致我们不得不手动为他们换行；或者某几个公式是一组，我们需要将他们放在一起；还有些时候我们需要输入分段函数，给公式加上一个在左边的大括号。这些需求都可以通过 amsmath宏包提供的丰富环境达成。(后文中的大量环境都需要 amsmath宏包，大家自己尝试时一定不要忘记使用！)

对于那些特别长的但是不需要对齐的公式，我们可以使用 multiline环境，同时需要注意，这个环境也是默认有编号的。而对于那些需要对齐的公式，我们就需要使用 aligned次环境来达到目的。使用 alinged次环境的时候需要先进入化学环境；另外，在 aligned环境中有着一个特殊的符号 &，这个符号是用于对齐的，LaTeX会自动地以 &为标准对齐两边的内容。在 multiline和 aligned这两个环境中，符号 \\是用来换行的。以下是一个例子。

\begin{
multline}

x = a+b+c+{} \\

d+e+f

\end{
multline}

\[\begin{
aligned}

x ={}& a+b+c+{} \\

&d+e+f

\end{
aligned}\]

这是上面的例子的输出效果。

有些时候我们需要将几个公式组成一组。这个时候我们可以使用两种环境，分别是 gather和 align。其中， gather环境是不对齐的，而 align环境是对齐的。在默认条件下它们都带有编号。如果不需要编号可在一行的最后加入 \notag命令，也可以使用 tag{·}来自定义改行的公式的编号。下面是一个例子。

\begin{
gather}

U = Q + W \tag{
1.1} \\

pV = nRT

\end{
gather}

\begin{
align}

U &= Q + W \notag \\

(p + \frac{
a}{
{
V_m}^2})(V_m + b) &= RT

\end{
align}

这是上面那个例子的输出效果。

如果大家需要输入一个分段的函数，则需要使用一个叫做 cases的次环境，使用它时也要先进入数学环境。下面是一个例子。

\[ f(x)=

\begin{
cases}

-x + 1 , \quad x \leq 1 \\

x - 1 , \quad x > 1

\end{
cases}

\]

这是上面这个例子的输出效果。

以上就是一些比较常用的基础的数学环境，可以用于输入一些不太复杂的行内公式和行间公式。接下来我们来简要地介绍以下大家常用的数学符号的输入方法。

数学符号的输入

---

首先，为了取得输入数学公式时的最佳体验，建议大家在导言区加载 amsmath宏包。正如上一篇推送所说，只要在导言区输入 \usepackage{
amsmath}就可以了。

分数

输入分数的基础命令是 \frac{·}{·}，其中前面的花括号内是分子，后面的花括号内是分母。在行间公式和行内公式中， \frac命令的输出效果是有不同的。如果想要客制化输出效果，可以用 \dfrac命令强制输出行间公式下的分式样式；反之，可以用 \tfrac命令强制输出行内公式的分式样式。下面是一个例子。

$n=\frac{
p}{
kT}$

\[

\lambda = \frac{
kT}{
\sqrt{
2} \pi d^2 p}

\]

$n=\dfrac{
p}{
kT}$

\[

\lambda = \tfrac{
kT}{
\sqrt{
2} \pi d^2 p}

\]

这是上面这个例子的输出效果。

根号和上下标

上标是通过符号 ^来生成的；下标是用符号 _生成的。需要注意的是LaTeX只会默认将上下标符号后的第一个字符当作是上下标的内容，需要在上下标内输入很多内容的时候要记得用花括号将内容包裹起来。

根号是用 \sqrt{·}来生成的，需要输入n次根式的时候，需要再输入一个用中括号包裹的参数，像这样 \sqrt[n]{·}。方根符号的大小是由LaTeX自动调整的，也可以用 \surd命令仅仅给出符号。

下面是一个比较综合的例子。

\[

\sqrt[n]{
{
a_{
ij}}^{
e\surd{
2}}}

\]

这是上面这个例子的输出效果。

最常用的运算符

比较常用的运算符有极限 \lim；求和 \sum_{·}^{·}；连乘 \prod_{·}^{·}；以及各类积分 \int_{·}^{·}、 \iint、 \iiint。它们的上下标在行间公式内默认是写在右侧以适应行高的，我们可以用 \limits来强制不压缩上下标；反之可以用 \nolimits来压缩上下标。下面是一个例子。

$\lim_{
x \to 0} {
\sin x} = 0$

\[

\sum\nolimits_{
i=1}^n i \quad \prod_{
i=1}^n

\]

$\lim\limits_{
r \to {
0^{+}}}{
\frac{
1}{
r^{
3}} \iiint_{
\Omega_{
r}} f(x,y,z) dxdydz = \frac{
4}{
3} \pi f(P)}$

这是上面这个例子的输出效果。

在表达式上下方画线和括号

我们可以用命令 \overline和 \underline在表达式的上、下方画出水平线；可以用 \vec命令来画向量；可以用 \overbrace{·}^{·}和 \underbrace{·}_{·}在表达式的上、下方给出一水平的大括号。下面是一个例子。

\[

\overline{
\alpha + \beta}=\underbrace{
\vec{
a}+b+...+z}_{
26}

\]

这是上面这个例子的输出效果。

数学符号

以下的表格是一份比较完整的关于数学模式中常用的数学符号的总结。

重音符

小写的希腊字母

大写的希腊字母

二元关系符号

你可以在下面这些命令的前面加上 \not 来得到其否定形式。

二元运算符

大运算符

箭头

定界符

其他数学符号

非数学符号

以下的这些符号也可以在文本环境里使用。

AMS符号

以下的符号使用需要先安装AMS数学字库，同时在导言区加载宏包 amssymb。

定界符

希伯来字母

二元关系符

箭头

二元否定关系符和箭头

二元运算符

其他符号

数学字体说明

下期预告

下一篇推送是关于文档组织结构和各类常用环境的，请大家敬请期待！