LaTex语法

排版数学公式是TeX系统设计的初衷，它在LaTeX中占有特殊地位，也是LaTeX最为人所称道的功能之一。基于对MathType排版效果的不满意，以及对公式进行检索的需求，我们使用LaTeX输入数学公式。

1 数学模式概说

数学公式有两种，行内（inline)公式和行间(displayed)公式。
行内公式使用...表示；行间公式用 ... 表示。

2 常用字体

类别	字体命令	简写	输出效果
默认字体	\mathit	\it	\(ABC\)
罗马	\mathrm	\rm	\(\rm{ABC}\)
粗体	\mathbf	\bf	\(\bf{ABC}\)

3 常用希腊字母列表

小写字母	字体命令
\(\alpha\)	\alpha
\(\beta\)	\beta
\(\gamma\)	\gamma
\(\theta\)	\theta
\(\varphi\)	\varphi
\(\mu\)	\mu
\(\lambda\)	\lambda
\(\omega\)	\omega
\(\pi\)	\pi
\(\Sigma\)	\Sigma
\(\Phi\)	\Phi
\(\varepsilon\)	\varepsilon
\(\phi\)	\phi
\(\eta\)	\eta
\(\xi\)	\xi
\(\rho\)	\rho
\(\sigma\)	\sigma
\(\tau\)	\tau
\(\delta\)	\delta
\(\Delta\)	\Delta
\(\Pi\)	\Pi
\(\varPhi\)	\varPhi

4 常见公式实现方案

4.1 集合

公式	代码
\(x \in {\bf R},y \notin {\bf R}\)	x \in {\bf R},y \notin {\bf R}
\(\left \{x\left |x\gt \dfrac {1}{2}\right.\right\}\)	\left {x\left |x\gt \dfrac {1}{2}\right.\right}
\(\complement_UA\)	\complement_UA
\(\varnothing\)	\varnothing
\((−1,+\infty)\)	(−1,+\infty)
\((A\cup B)\cap C\)	(A\cup B)\cap C
\(A \subset B \subseteq C\)	A \subset B \subseteq C
\(A \not\subset B \subsetneq C\)	A \not\subset B \subsetneq C
\(A \supset B \supseteq C\)	A \supset B \supseteq C

4.2 简易逻辑

公式	代码
\(\neg p:x^2\lt 1\)	\neg p:x^2\lt 1
\(\forall x\)	\forall x
\(\exists y\)	\exists y
\(p\lor q \Rightarrow p \land q\)	p\lor q \Rightarrow p \land q
\((p \to q)\land (p \gets q)\)	(p \to q)\land (p \gets q)
\(\Leftrightarrow\)	\Leftrightarrow
\(\Leftarrow\)	\Leftarrow

4.3 函数

公式	代码
\({\rm e}^x\)	{\rm e}^x
\(x^a\)	x^a
\(\sqrt x, \sqrt [3] x\)	\sqrt x, \sqrt [3] x
\(\lg x\)	\lg x
\({\log_a}x\)	{\log_a}x
\(\Delta=b^2-4ac\)	\Delta=b^2-4ac
\(\begin{cases} x=2y+z\\y=2z+x\\z=2x+y\end{cases}\)	\begin{cases} x=2y+z\\y=2z+x\\z=2x+y\end{cases}
\(f(x)=\begin{cases} x,x\gt 0\\0,x=0\\−x,x\lt 0\\\end{cases}\)	f(x)=\begin{cases} x,x\gt 0\\0,x=0\\−x,x\lt 0\\\end{cases}

4.4 三角函数

公式	代码
\(\sin x, \cos x, \tan x\)	\sin x, \cos x, \tan x
\(\sec x, \csc x, \cot x\)	\sec x, \csc x, \cot x

4.5 数列

公式	代码
\(a_{n+2} = a_{n+1}-a_n\)	a_{n+2} = a_{n+1}-a_n
\(a_n=\begin{cases} 2, &n=1\\n^2, &n\geq 2\end{cases}\)	a_n=\begin{cases} 2, &n=1\\n^2, &n\geq 2\end{cases}

4.6 向量

公式	代码
\(\overrightarrow{AB}\)	\overrightarrow{AB}
\(\vec a\)	\vec a
\(\vec a \parallel \vec b\)	\vec a \parallel \vec b
\(\vec a\perp \vec b\)	\vec a\perp \vec b
\(\vec a\cdot \vec b\)	\vec a\cdot \vec b
\(\langle \vec a, \vec c \rangle\)	\langle \vec a, \vec c \rangle

4.7 微积分

公式	代码
\(\lim\limits_{\Delta x \to 0}{\Delta^2 x}\)	\lim\limits_{\Delta x \to 0}{\Delta^2 x}
\(\int_a^b{x{\rm d}x}=\left.\frac12 x^2\right |_a^b\)	\int_a^b{x{\rm d}x}=\left.\frac12 x^2\right

4.8 概率

公式	代码
\({\rm A}_4^2=4!/2!\)	{\rm A}_4^2=4!/2!
\(X \sim N(\mu,\sigma^2)\)	X \sim N(\mu,\sigma^2)

4.9 统计

公式	代码
\(\bar x\)	\bar x
\(\hat y=\hat ax + \hat b\)	\hat y=\hat a x + \hat b
\(\sum\limits_{i=1}^{n}{x_i}\)	\sum\limits_{i=1}^{n}{x_i}

4.10 几何

公式	代码
\(45\circ\)	45\circ
\(\stackrel \frown{AB}\)	\stackrel \frown{AB}
\(\odot O\)	\odot O
\(a\parallel b\)	a\parallel b
\(a\perp b\)	a\perp b
\(\triangle ABC \backsim \triangle DEF\)	\triangle ABC \backsim \triangle DEF
\(\triangle ABC \cong \triangle DEF\)	\triangle ABC \cong \triangle DEF

4.11 矩阵

公式	代码
\(\begin{matrix}a&b \\ c&d \end{matrix}\)	\begin{matrix}a&b \\ c&d \end{matrix}
\(\begin{pmatrix}a&b \\ c&d \end{pmatrix}\)	\begin{pmatrix}a&b \\ c&d \end{pmatrix}
\(\begin{Bmatrix}a&b \\ c&d \end{Bmatrix}\)	\begin{Bmatrix}a&b \\ c&d \end{Bmatrix}
\(\begin{vmatrix}a&b \\ c&d \end{vmatrix}\)	\begin{vmatrix}a&b \\ c&d \end{vmatrix}

4.12 其它特殊符号

公式	代码
\(\bigoplus\)	\bigoplus
\(\bigotimes\)	\bigotimes
\(\bigodot\)	\bigodot
\(\equiv\)	\equiv
\(\ast或*\)	\ast或*
\(\pm\)	\pm
\(\mp\)	\mp
\(\times\)	\times
$\div $	\div
\(\geqslant\)	\geqslant
\(\leqslant\)	\leqslant
$\cdots $	\cdots
\(\%\)	%
\(\to或\rightarrow\)	\to或\rightarrow
\(\gets或\leftarrow\)	\gets或\leftarrow
\(\Rightarrow\)	\Rightarrow
\(\Leftarrow\)	\Leftarrow
\(\leftrightarrow\)	\leftrightarrow
\(\Leftrightarrow\)	\Leftrightarrow
\(\nearrow\)	\nearrow
\(\searrow\)	\searrow
\(\swarrow\)	\swarrow
\(\nwarrow\)	\nwarrow

4.13 其它排版

公式	代码
\(\begin{split}(x−1)(x−3)&=x^2−4x+3 \\ &=x^2−4x+4−1 \\ &=(x−2)^2−1\end{split}\)	\begin{split}(x−1)(x−3)&=x^2−4x+3 \\ &=x^2−4x+4−1 \\ &=(x−2)^2−1\end{split}