基本数学公式语法(of MathJax)

概述

在Markdown中输入数学公式需要LaTeX语法的支持。

基本语法

呈现位置

• 正文(inline)中的LaTeX公式用$...$定义
  • 语句为$\sum_{i=0}^N\int_{a}^{b}g(t,i)\text{d}t$
  • 显示为${\sum }_{i=0}^N{\int }_a^{b}g(t,i)\text{d}t$
• 单独显示(display)的LaTeX公式用$$...$$定义，此时公式居中并放大显示
  • 语句为$$\sum_{i=0}^N\int_{a}^{b}g(t,i)\text{d}t$$
  • 显示为
    $$\sum _{i=0}^N{\int }_a^{b}g(t,i)\text{d}t$$
• 下列描述语句中若非特别指出均省略$...$

希腊字母

显示	命令	显示	命令
α	\alpha	β	\beta
γ	\gamma	δ	\delta
ε	\epsilon	ζ	\zeta
η	\eta	θ	\theta
ι	\iota	κ	\kappa
λ	\lambda	μ	\mu
ν	\nu	ξ	\xi
π	\pi	ρ	\rho
σ	\sigma	τ	\tau
υ	\upsilon	φ	\phi
χ	\chi	ψ	\psi
ω	\omega

• 若需要大写希腊字母，将命令首字母大写即可。
  • \Gamma呈现为$\Gamma$
• 若需要斜体希腊字母，将命令前加上var前缀即可。
  • \varGamma呈现为$\Gamma$

字母修饰

上下标

• 上标：^
• 下标：_
• 举例：C_n^2呈现为$C_n^2$

矢量

• \vec a呈现为$\vec{a}$
• \overrightarrow{xy}呈现为$\overrightarrow{xy}$

字体

• Typewriter：\mathtt{A}呈现为$\mathtt{A}$
  • $\mathtt{A}\mathtt{B}\mathtt{C}\mathtt{D}\mathtt{E}\mathtt{F}\mathtt{G}\mathtt{H}\mathtt{I}\mathtt{J}\mathtt{K}\mathtt{L}\mathtt{M}\mathtt{N}\mathtt{O}\mathtt{P}\mathtt{Q}\mathtt{R}\mathtt{S}\mathtt{T}\mathtt{U}\mathtt{V}\mathtt{W}\mathtt{X}\mathtt{Y}\mathtt{Z}$
• Blackboard Bold：\mathbb{A}呈现为$\mathbb{A}$
  • $\mathbb{A}\mathbb{B}\mathbb{C}\mathbb{D}\mathbb{E}\mathbb{F}\mathbb{G}\mathbb{H}\mathbb{I}\mathbb{J}\mathbb{K}\mathbb{L}\mathbb{M}\mathbb{N}\mathbb{O}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{S}\mathbb{T}\mathbb{U}\mathbb{V}\mathbb{W}\mathbb{X}\mathbb{Y}\mathbb{Z}$
• Sans Serif：\mathsf{A}呈现为$\mathsf{A}$
  • $\mathsf{A}\mathsf{B}\mathsf{C}\mathsf{D}\mathsf{E}\mathsf{F}\mathsf{G}\mathsf{H}\mathsf{I}\mathsf{J}\mathsf{K}\mathsf{L}\mathsf{M}\mathsf{N}\mathsf{O}\mathsf{P}\mathsf{Q}\mathsf{R}\mathsf{S}\mathsf{T}\mathsf{U}\mathsf{V}\mathsf{W}\mathsf{X}\mathsf{Y}\mathsf{Z}$

分组

• 使用{}将具有相同等级的内容扩入其中，成组处理
• 举例：10^{10}呈现为$10^{10}$，而10^10呈现为$10^{1}0$

括号

• 小括号：()呈现为$()$
• 中括号：[]呈现为$[]$
• 尖括号：\langle,\rangle呈现为$⟨⟩$
  • 此处为与分组符号{}相区别，使用转义字符\
• 使用\left(或\right)使符号大小与邻近的公式相适应；该语句适用于所有括号类型
  • (\frac{x}{y})呈现为$(\frac{x}{y})$
  • 而\left(\frac{x}{y}\right)呈现为$\left(\frac{x}{y}\right)$

求和、极限与积分

• 求和：\sum
  • 举例：\sum_{i=1}^n{a_i}呈现为${\sum }_{i=1}^n{a}_i$
• 极限：\lim_{x\to 0}呈现为${\lim }_{x\to 0}$
• 积分：\int
  • 举例：\int_0^\infty{fxdx}呈现为${\int }_0^{\infty }fxdx$

分式与根式

• 分式(fractions)：\frac{公式1}{公式2}呈现为$\frac{公式1}{公式2}$
• 根式：\sqrt[x]{y}呈现为$\sqrt[x]{y}$

特殊函数

• \函数名
• 举例：\sin x，\ln x，\max(A,B,C)呈现为$\sin x$，$\ln x$，$\max (A,B,C)$

特殊符号

显示	命令
$\infty$	\infty
$\cup$	\cup
$\cap$	\cap
$\subset$	\subset
$\subseteq$	\subseteq
$\supset$	\supset
$\in$	\in
$\notin$	\notin
$\varnothing$	\varnothing
$\forall$	\forall
$\exists$	\exists
$\neg$	\lnot
$\nabla$	\nabla
$\partial$	\partial

空格

• LaTeX语法本身会忽略空格的存在
• 小空格：a\ b呈现为$ab$
• 4格空格：a\quad b呈现为$ab$

矩阵

基本语法

• 起始标记\begin{matrix}，结束标记\end{matrix}
• 每一行末尾标记\\，行间元素之间以&分隔
• 举例

$$\begin{matrix}
1&0&0\\
0&1&0\\
0&0&1\\
\end{matrix}$$

呈现为
$$\begin{array}{ccc}1& 0& 0\\ 0& 1& 0\\ 0& 0& 1\end{array}$$

矩阵边框

• 在起始、结束标记处用下列词替换matrix
  • pmatrix：小括号边框
  • bmatrix：中括号边框
  • Bmatrix：大括号边框
  • vmatrix：单竖线边框
  • Vmatrix：双竖线边框

省略元素

• 横省略号：\cdots
• 竖省略号：\vdots
• 斜省略号：\ddots
• 举例

$$\begin{bmatrix}
{a_{11}}&{a_{12}}&{\cdots}&{a_{1n}}\\
{a_{21}}&{a_{22}}&{\cdots}&{a_{2n}}\\
{\vdots}&{\vdots}&{\ddots}&{\vdots}\\
{a_{m1}}&{a_{m2}}&{\cdots}&{a_{mn}}\\
\end{bmatrix}$$

呈现为
$$\left[\begin{array}{cccc}{a}_{11}& a_{12}& \cdots & a_{1n}\\ a_{21}& a_{22}& \cdots & a_{2n}\\ ⋮& ⋮& \ddots & ⋮\\ a_{m1}& a_{m2}& \cdots & a_{mn}\end{array}\right]$$

阵列

• 需要array环境：起始、结束处以{array}声明
• 对齐方式：在{array}后以{}逐行统一声明
  • 左对齐：l；居中：c；右对齐：r
  • 竖直线：在声明对齐方式时，插入|建立竖直线
• 插入水平线：\hline
• 举例

$$\begin{array}{c|lll}
{↓}&{a}&{b}&{c}\\
\hline
{R_1}&{c}&{b}&{a}\\
{R_2}&{b}&{c}&{c}\\
\end{array}$$

呈现为
$$\begin{array}{clll}\downarrow & a& b& c\\ R_1& c& b& a\\ R_2& b& c& c\end{array}$$

方程组

• 需要cases环境：起始、结束处以{cases}声明
• 举例

$$\begin{cases}
a_1x+b_1y+c_1z=d_1\\
a_2x+b_2y+c_2z=d_2\\
a_3x+b_3y+c_3z=d_3\\
\end{cases}
$$

呈现为
$$\{\begin{array}{l}{a}_{1}x+b_{1}y+c_{1}z=d_1\\ a_{2}x+b_{2}y+c_{2}z=d_2\\ a_{3}x+b_{3}y+c_{3}z=d_3\end{array}$$

参考材料

MathJax tutorial