TeX有两种数学公式,一种是夹杂在行文段落中的公式,如 ∫ f ( x ) d x = 1 \int f(x) \text{d}x=1 ∫f(x)dx=1,一般称为 行内(inline)数学公式,或正文(in-text)数学公式;另一种就是像下面这样单独占据郑航居中展示出来,称为显示数学公式
∑ i = 0 N ∫ a b g ( t , i ) d \sum_{i=0}^N \int_a^bg(t,i)\text{d} i=0∑N∫abg(t,i)d
在TeX中,行内公式一般在前后单个美元符号$…$表示,显示公式用连续的两个美元符号$$…$$表示
基础
在数学模式下,符号会使用单独的字体,字母通常是倾斜的意大利体,数字和符号则是自立体,仔细看的话,数学符号之间的距离也与一般的水平模式不同:
a + b = b + a a + b = b + a a+b=b+a,如$ 1 + 2 = 2 + 1$
正常模式
a + b = b + a,如 1 + 2 = 2 + 1
因此,在排版数学公式时,即使是没有任何特殊符号的算式 1 + 1 1+1 1+1也要进入数学模式,使用$1+1$而不是普通文字的1+1
c除了使用单个美元符号,在LaTeX中还额外定义了命令格式与环境格式的方式输入行内公式,即使用命令\(
和\)
环境括起来一个行内数学公式,如$a+b$
也可以写成\(a+b\)
或是\begin{math}a+b\end{math}
。这两种形式提供了更好的错误检查,并且可以更明确地看出公式的开始于结束,也不容易混淆。
同样的,LaTeX中也定义了命令形式和环境形式的输入方法,即使用\[
和\]
命令或是displaymath
环境括起一个显示数学公式,例如:\[a+b=b+a\]
,虽然并非必须,但最好在源代码中就把单独占据一行的显示公式放在单独的行内,使代码更清晰,推荐使用的方式是\[...\]
,$$...$$
会产生不良的间距,缺少错误检查,并且不能正确处理fleqn等文档选项,应该避免使用,而displaymath
环境可能显得冗长。
LaTeX还提供了带自动编号的数学公式,可以用equation
环境表示,公式后还可以带引用的标签,例如:
\begin{equation}
a+b=b+a \label{eq:commutative}
\end{equation}
上标与下标
上标和下标是两种最常见的数学结构,它们的形式也很朴素:上标一般在原符号的右上方,下标一般在原符号的右下方,有时也在正上方和正下方,例如:
∑ i = 1 n max a 1 0 n a i ∫ D a i 2 \sum_{i=1}^{n}\max_a10^na_i\int_Da^2_i i=1∑namax10nai∫Dai2
在TeX中,上标用特殊字符^
表示,下标用特殊字符_
表示。在数学模式中,符号^
和_
的用法差不多相当于带一个参数的命令,如**$10^n$可以得到 1 0 n 10^n 10n ,而$a_i$可以得到 a i a_i ai 当上标和下标多余一个字符时,需要使用分组确定上下标范围,如$A_{ij}=2^{i+j}$得到 A i j = 2 i + j A_{ij}=2^{i+j} Aij=2i+j**
上标和下标可以同时使用,也可以嵌套使用。同时使用上标和下标,上下标的先后次序并不重要,二者互不影响,嵌套使用上下标时,则外层一定要使用分组。数学公式中空格是不起实际作用的,适当的空格可以将代码分隔得好看一些。
数学公式中单引号是一种特殊的上标,表示用符号\prime
(即’)做上标,可以与下标混用,也可以连续使用,但不能与上标直接混用,如:
$a=a'$,$b_0'=b_0''$,
${c'}^2=(c')^2$
得到
a = a ′ a=a' a=a′, b 0 ′ = b 0 ′ ′ b_0'=b_0'' b0′=b0′′, c ′ 2 = ( c ′ ) 2 {c'}^2=(c')^2 c′2=(c′)2
上下画线与花括号
\overline
和 \underline
命令可用来在公式的上方和下方划横线,overbrace
和 underbrace
命令可以在公式上方和下方带上花括号如:
代码 | 结果 |
---|---|
$\overleftarrow{a+b}$ |
a + b ← \overleftarrow{a+b} a+b |
$\overrightarrow{a+b}$ |
a + b → \overrightarrow{a+b} a+b |
$\overleftrightarrow{a+b}$ |
a + b ↔ \overleftrightarrow{a+b} a+b |