本文介绍Mathjax的一些写法。
MathJax简介
MathJax是一款运行在浏览器中的开源的数学符号渲染引擎，使用MathJax可以方便的在浏览器中显示数学公式，不需要使用图片。目前，MathJax可以解析Latex、MathML和ASCIIMathML的标记语言。
基础
公式标记与查看公式
MathJax中的公式排版有两种方式，inline和displayed。inline表示公式嵌入到文本段中，displayed表示公式独自成为一个段落。例如，$f(x)=a+b$这是一个inline公式，而下面$$f(x)=a+b$$是一个displayed公式。
在MathJax中，默认的displayed公式分隔符有\$\$…\$\$,而默认的inline公式分隔符为 (…) ,当然这些都是可以自定义的，具体配置请参考文档。下文中，使用\$\$…\$\$作为displayed分隔符，\$…\$作为inline分隔符(hexo默认也是这两种方式)。
希腊字母
| 名称 | 大写 | Tex | 小写 | Tex |
|---|---|---|---|---|
| alpha | A | A | α | \alpha |
| beta | B | B | β | \beta |
| gamma | $\Gamma$ | \Gamma | $\gamma$ | \gamma |
| delta | $\Delta$ | \Delta | $\delta$ | \delta |
| epsilon | E | E | $\epsilon$ | \epsilon |
| zeta | Z | Z | $\zeta$ | \zeta |
| eta | H | H | $\eta$ | \eta |
| theta | $\Theta$ | \Theta | $\theta$ | \theta |
| iota | I | I | $\iota$ | \iota |
| kappa | K | K | $\kappa$ | \kappa |
| lambda | $\Lambda$ | \Lambda | $\lambda$ | \lambda |
| mu | M | M | $\mu$ | \mu |
| nu | N | N | $\nu$ | \nu |
| xi | $\Xi$ | \Xi | $\xi$ | \xi |
| omicron | O | O | $\omicron$ | \omicron |
| pi | $\Pi$ | \Pi | $\pi$ | \pi |
| rho | P | P | $\rho$ | \rho |
| sigma | $\Sigma$ | \Sigma | $\sigma$ | \sigma |
| tau | T | T | $\tau$ | \tau |
| upsilon | $\Upsilon$ | \Upsilon | $\upsilon$ | \upsilon |
| phi | $\Phi$ | \Phi | $\phi$ | \phi |
| chi | X | X | $\chi$ | \chi |
| psi | $\Psi$ | \Psi | $\psi$ | \psi |
| omega | $\Omega$ | \Omega | $\omega$ | \omega |
上标与下标
上标和下标分别使用^与_。例如x_i^2：$x_i^2$。
默认情况下，上下标符号仅仅对下一个组起作用。一个组即单个字符或者使用{..}包裹起来的内容。
也就是说，如果使用10^10，会得到$10^10$，而10^{10}才是$10^{10}$。同时，大括号还能消除二义性，如x^5^6将得到一个错误，必须使用大括号来界定^的结合性，如{x^5}^6：${x^5}^6$ 或者 x^{5^6}：$x^{5^6}$。
另外，如果要在左右两边都有上下标，可以用\sideset命令。
例子：\sideset{^1_2}{^3_4}\bigotimes
显示：$\sideset{^1_2}{^3_4}\bigotimes$
括号
- 小括号与方括号：使用原始的( )、\left、\right，[ ]即可，如(2+3)[4+4]：(2+3)[4+4]
- 大括号：时由于大括号{}被用来分组，因此需要使用{和}表示大括号，也可以
使用\lbrace 和\rbrace来表示。如{ab}:${ab}$，\lbrace ab \rbrace：$\lbrace ab \rbrace$。- 尖括号：使用\langle 和 \rangle表示左尖括号和右尖括号。如\langle x \rangle：$\langle x \rangle$。
- 上取整：使用\lceil 和 \rceil 表示。 如，\lceil x \rceil：$\lceil x \rceil$。
- 下取整：使用\lfloor 和 \rfloor 表示。如，\lfloor x \rfloor：$\lfloor x \rfloor$。
- 不可见括号：使用.表示。
当要显示大号的括号或分隔符时，要用\left、\right和\lbrace 、\rbrace命令。
例子：f(x,y,z) = 3y^2z \left( 3+\frac{7x+5}{1+y^2} \right)
显示：$f(x,y,z) = 3y^2z \left( 3+\frac{7x+5}{1+y^2} \right)$
求和与积分
\sum用来表示求和符号，其下标表示求和下限，上标表示上限。如，\sum_1^n：$\sum_1^n$。
\int用来表示积分符号，同样地，其上下标表示积分的上下限。如，\int_1^\infty：$\int_1^\infty$。
与此类似的符号还有，\prod：$\prod$，\bigcup:$\bigcup$，\bigcap：$\bigcap$，\iint：$\iint$。
分式与根式
分式的表示。第一种，使用\frac ab，\frac作用于其后的两个组a，b，结果为$\frac ab$。如果你的分子或分母不是单个字符，请使用{..}来分组。第二种，使用\over来分隔一个组的前后两部分，如{a+1\over b+1}：${a+1\over b+1}$。
根式使用\sqrt来表示。如，\sqrt[4]{\frac xy} ：$\sqrt[4]{\frac xy}$
字体
- 使用\mathbb或\Bbb显示黑板粗体字，此字体经常用来表示代表实数、整数、有理数、复数的大写字母。如，
$\Bbb{CHNQRZ}$。- 使用\mathbf显示黑体字，如，
$\mathbf{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$，$\mathbf{abcdefghijklmnopqrstuvwxyz}$。- 使用\mathtt显示打印机字体，如，
$\mathtt{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$，$\mathtt{abcdefghijklmnopqrstuvwxyz}$。- 使用\mathrm显示罗马字体，如，
$\mathrm{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$，$\mathrm{abcdefghijklmnopqrstuvwxyz}$。- 使用\mathscr显示手写体，如，
$\mathscr{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$。- 使用\mathfrak显示Fraktur字母（一种德国字体），如
$\mathfrak{ABCDEFGHIJKLMNOPQRSTUVWXYZ}$，$\mathfrak{abcdefghijklmnopqrstuvwxyz}$。
要对公式的某一部分字符进行字体转换，可以用{\rm 需转换的部分字符}命令，其中\rm可以参照下表选择合适的字体。一般情况下，公式默认为意大利体。
\rm 罗马体 \it 意大利体
\bf 黑体 \cal 花体
\sl 倾斜体 \sf 等线体
\mit 数学斜体 \tt 打字机字体
\sc 小体大写字母
特殊函数与符号
- 常见的三角函数，求极限符号可直接使用+缩写即可。如$sinx$,$arctanx$,$lim_{1→\infty}$。
- 比较运算符：\lt \gt \le \ge \neq ： $\lt \gt \le \ge \neq$。可以在这些运算符前面加上\not，如\not\lt：$\not\lt$。
- \times \div \pm \mp表示：$\times \div \pm \mp$，\cdot表示居中的点，x \cdot y : $x \cdot y$。
- 集合关系与运算：\cup \cap \setminus \subset \subseteq \subsetneq \supset \in \notin \emptyset \varnothing ：$\cup \cap \setminus \subset \subseteq \subsetneq \supset \in \notin \emptyset \varnothing$
- 表示排列使用{n+1 \choose 2k} 或 \binom{n+1}{2k}，$\binom{n+1}{2k}$。
- 箭头：\to \rightarrow \leftarrow \Rightarrow \Leftarrow \mapsto : $\to \rightarrow \leftarrow \Rightarrow \Leftarrow \mapsto$
- 逻辑运算符：\land \lor \lnot \forall \exists \top \bot \vdash \vDash ： $\land \lor \lnot \forall \exists \top \bot \vdash \vDash$
- \star \ast \oplus \circ \bullet ： $\star \ast \oplus \circ \bullet$。
- \approx \sim \cong \equiv \prec ： $\approx \sim \cong \equiv \prec$。
- \infty \aleph_0 $\infty \aleph_0$
\nabla \partial $\nabla \partial$
\Im \Re $\Im \Re$。- 模运算 \pmode, 如，a\equiv b\pmod n：$a\equiv b\pmod n$。
- \ldots与\cdots，其区别是dots的位置不同，ldots位置稍低，cdots位置居中。a1+a2+⋯+an，a1,a2,…,an。
- 一些希腊字母具有变体形式，如 \epsilon \varepsilon : $\epsilon \varepsilon$, \phi \varphi : $\phi \varphi$。
空间
通常MathJax通过内部策略自己管理公式内部的空间，因此a…b与a…….b（.表示空格）都会显示为ab。可以通过在ab间加入\,增加些许间隙，\;增加较宽的间隙，\quad 与 \qquad 会增加更大的间隙，如，$a\quad{b}$。
顶部符号
对于单字符，\hat：$\hat{x}$，多字符可以使用\widehat,$\widehat{xy}$.类似的还有\hat,\overline,\vec,\overrightarrow, \dot \ddot : $\hat{x}\overline{xyz}\vec{a}\overrightarrow{x}\dot{x} \ddot{x} $。
表格
使用\begin {array}{列样式}…\end{array}这样的形式来创建表格，列样式可以是clr表示居中，左，右对齐，还可以使用|表示一条竖线。表格中 各行使用\\分隔，各列使用&分隔。使用\hline在本行前加入一条直线。 例如， \begin {array}{c|lcr} n & \text{Left} & \text{Center} & \text{Right} \\ \hline 1 & 0.24 & 1 & 125 \\ 2 & -1 & 189 & -8 \\ 3 & -20 & 2000 & 1+10i \\ \end{array} 结果：
$$ \begin{array}{c|lcr} n & \text{Left} & \text{Center} & \text{Right} \\ \hline 1 & 0.24 & 1 & 125 \\ 2 & -1 & 189 & -8 \\ 3 & -20 & 2000 & 1+10i \\ \end{array} $$
矩阵
基本用法
使用\$\$\begin {matrix}…\end{matrix}\$\$这样的形式来表示矩阵，在\begin与\end之间加入矩阵中的元素即可。矩阵的行之间使用\分隔，列之间使用&分隔。
例如 \$\$ \begin {matrix} 1 & x & x^2 \\ 1 & y & y^2 \\ 1 & z & z^2 \\ \end{matrix} \$\$ 结果：
$$\begin{matrix} 1 & x & x^2 \\ 1 & y & y^2 \\ 1 & z & z^2 \\ \end{matrix}$$
加括号
如果要对矩阵加括号，可以像上文中提到的一样，使用\left与\right配合表示括号符号。也可以使用特殊的matrix。即替换\begin {matrix}…\end{matrix}中的matrix为pmatrix，bmatrix，Bmatrix，vmatrix,Vmatrix.
如pmatrix:$\begin{pmatrix}1&2\\3&4\end{pmatrix}$
bmatrix:$\begin{bmatrix}1&2\\3&4\end{bmatrix}$
Bmatrix:$\begin{Bmatrix}1&2\\3&4\end{Bmatrix}$
vmatrix:$\begin{vmatrix}1&2\\3&4\end{vmatrix}$
Vmatrix:$\begin{Vmatrix}1&2\\3&4\end{Vmatrix}$
省略元素
可以使用\cdots $\cdots$ \ddots $\ddots$\vdots $\vdots$来省略矩阵中的元素，如：
$$\begin{pmatrix}1&2&\cdots&n\\3&4&\cdots&n\\\vdots&\vdots&\ddots&\vdots\\m&m+1&\cdots&n\end{pmatrix}$$
增广矩阵
增广矩阵需要使用前面的array来实现，如 \$\$ \left[ \begin {array}{cc|c} 1&2&3\ 4&5&6 \end{array} \right] \$\$ 结果：
$$\left[ \begin {array}{cc|c} 1&2&3\\ 4&5&6 \end{array} \right]$$
对齐的公式
有时候可能需要一系列的公式中等号对齐，如：
$$\begin{align}
\sqrt{37} & = \sqrt{\frac{73^2-1}{12^2}} \\
& = \sqrt{\frac{73^2}{12^2}\cdot\frac{73^2-1}{73^2}} \\
& = \sqrt{\frac{73^2}{12^2}}\sqrt{\frac{73^2-1}{73^2}} \\
& = \frac{73}{12}\sqrt{1 - \frac{1}{73^2}} \\
& \approx \frac{73}{12}\left(1 - \frac{1}{2\cdot73^2}\right)
\end{align}$$
这需要使用形如\begin {align}…\end{align}的格式，其中需要使用&来指示需要对齐的位置。请使用右键查看上述公式的代码。
分类表达式
定义函数的时候经常需要分情况给出表达式，可使用\begin {cases}…\end{cases}。其中，使用\来分类，使用&指示需要对齐的位置。如：
$$f(n) =
\begin{cases}
n/2, & \text{if $n$ is even} \\
3n+1, & \text{if $n$ is odd} \\
\end{cases}$$
上述公式的括号也可以移动到右侧，不过需要使用array来实现，如下：
$$\left.
\begin{array}{l}
\text{if $n$ is even:}&n/2\\
\text{if $n$ is odd:}&3n+1
\end{array}
\right\}
=f(n)$$
最后，如果想分类之间的垂直间隔变大，可以使用[2ex]代替\来分隔不同的情况。(3ex,4ex也可以用，1ex相当于原始距离）。
数学符号查询
一般而言，从一个巨大的符号表中查询所需要的特定符号是一件令人沮丧的事情。在此向大家介绍一个LATEX手写符号识别系统，尽情享用吧~ Detexify²。
空间问题
在使用Latex公式时，有一些不会影响公式正确性，但却会使其看上去很槽糕的问题。
不要在再指数或者积分中使用 \frac
在指数或者积分表达式中使用\frac会使表达式看起来不清晰，因此在专业的数学排版中很少被使用。应该使用一个水平的/来代替，效果如下：
$$\begin{array}{cc}
\mathrm{Bad} \\
\hline \\
e^{i\frac{\pi}2} \quad e^{\frac{i\pi}2}\\
\int_{-\frac\pi2}^\frac\pi2 \sin x\,dx \\
\end{array}$$
$$\begin{array}{cc}
\mathrm{Better} \\
\hline \\
e^{i\pi/2} \\
\ \int_{-\pi/2}^{\pi/2}\sin x\,dx \\
\end{array}$$
使用 \mid 代替 | 作为分隔符
符号|作为分隔符时有排版空间大小的问题，应该使用\mid代替。效果如下：
$$\begin{array}{cc}
\mathrm{Bad} & \mathrm{Better} \\
\hline \\
{x|x^2\in\Bbb Z} & {x\mid x^2\in\Bbb Z} \\
\end{array}$$
多重积分
对于多重积分，不要使用\int\int此类的表达，应该使用\iint \iiint等特殊形式。效果如下：
$$\begin{array}{cc}
\mathrm{Bad} & \mathrm{Better} \\
\hline \\
\int\int_S f(x)\,dy\,dx & \iint_S f(x)\,dy\,dx \\
\int\int\int_V f(x)\,dz\,dy\,dx & \iiint_V f(x)\,dz\,dy\,dx
\end{array}$$
此外，在微分前应该使用\,来增加些许空间，否则TEX会将微分紧凑地排列在一起。如下：
$$\begin{array}{cc}
\mathrm{Bad} & \mathrm{Better} \\
\hline \\
\iiint_V f(x)dz dy dx & \iiint_V f(x)\,dz\,dy\,dx
\end{array}$$
连分数
书写连分数表达式时，请使用\cfrac代替\frac或者\over两者效果对比如下：
$$x = a_0 + \cfrac{1^2}{a_1+ \cfrac{2^2}{a_2+ \cfrac{3^2}{a_3 + \cfrac{4^4}{a_4 + \cdots}}}} \tag{\cfrac}$$
$$x = a_0 + \frac{1^2}{a_1+ \frac{2^2}{a_2+ \frac{3^2}{a_3 + \frac{4^4}{a_4 + \cdots}}}} \tag{\frac}$$
方程组
（\left{…\right.在hexo中目前不支持）
使用\begin {cases} … \end{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}$$
公式标记与引用
使用\tag{yourtag}来标记公式，如果想在之后引用该公式，则还需要加上\label{yourlabel}在\tag之后，如：
$$a:= x^2-y^3\tag{1-1}\label{1-1}$$
为了引用公式，可以使用\eqref {rlabel}，如：
$$a+y^3 \stackrel{\eqref{1-1}}= x^2$$
可以看到，通过超链接可以跳转到被引用公式位置。
如何输入其它特殊字符
关系运算符：
$\pm$：\pm
$\times$：\times
$\div$：\div
$\mid$：\mid
$\nmid$：\nmid
$\cdot$：\cdot
$\circ$：\circ
$\ast$：\ast
$\bigodot$：\bigodot
$\bigotimes$：\bigotimes
$\bigoplus$：\bigoplus
$\leq$：\leq
$\geq$：\geq
$\neq$：\neq
$\approx$：\approx
$\equiv$：\equiv
$\sum$：\sum
$\prod$：\prod
$\coprod$：\coprod
集合运算符：
$\emptyset$：\emptyset
$\in$：\in
$\notin$：\notin
$\subset$：\subset
$\supset$：\supset
$\subseteq$：\subseteq
$\supseteq$：\supseteq
$\bigcap$：\bigcap
$\bigcup$：\bigcup
$\bigvee$：\bigvee
$\bigwedge$：\bigwedge
$\biguplus$：\biguplus
$\bigsqcup$：\bigsqcup
对数运算符：
$\log$：\log
$\lg$：\lg
$\ln$：\ln
三角运算符：
$\bot$：\bot
$\angle$：\angle
$30^\circ$：30^\circ
sin：\sin
cos：\cos
tan：\tan
cot：\cot
sec：\sec
csc：\csc
微积分运算符：
$\prime$：\prime
$\int$：\int
$\iint$：\iint
$\iiint$：\iiint
$\iiiint$：\iiiint
$\oint$：\oint
$\lim$：\lim
$\infty$：\infty
$\nabla$：\nabla
逻辑运算符：
$\because$：\because
$\therefore$：\therefore
$\forall$：\forall
$\exists$：\exists
$\not=$：\not=
$\not>$：\not>
$\not\subset$：\not\subset
戴帽符号：
$\hat{y}$：\hat{y}
$\check{y}$：\check{y}
$\breve{y}$：\breve{y}
连线符号：
$\overline{a+b+c+d}$：\overline{a+b+c+d}
$\underline{a+b+c+d}$：\underline{a+b+c+d}
$\overbrace{a+\underbrace{b+c}_{1.0}+d}^{2.0}$：\overbrace{a+\underbrace{b+c}_{1.0}+d}^{2.0}
箭头符号：
$\uparrow$：\uparrow
$\downarrow$：\downarrow
$\Uparrow$：\Uparrow
$\Downarrow$：\Downarrow
$\rightarrow$：\rightarrow
$\leftarrow$：\leftarrow
$\Rightarrow$：\Rightarrow
$\Leftarrow$：\Leftarrow
$\longrightarrow$：\longrightarrow
$\longleftarrow$：\longleftarrow
$\Longrightarrow$：\Longrightarrow
$\Longleftarrow$：\Longleftarrow
要输出字符 空格 # $ % & { } ，用命令： \空格 # \$ \% \& \ { }