MathJax和相关的Latex语法。

慢慢补:)
##0.语法及常见错误

所有公式都需要被一个或两个美元符号$括起来(下面的有些语句可能会省略两边的$)，例如$x=a$$x=a$和$$x=a$$$$x=a$$ 它们分别代表行内公式和行间公式。有一些特定的样式可以由\begin{} 和 \end{}括起来，例如数组，矩阵，等等。此处{}里填的就是这些样式的名字，例如数组，就是用\begin{array} 和 \end{array}括起来表示的，像是这样\begin{array} {c|c} \text{this}&\text{is}\ \hline
\text{an}&\text{array}\end{array}对，array也可以用来表示表格！

上述代码是

\begin{array} {c|c} \text{this}&\text{is}\\ 
\hline
\text{an}&\text{array}\end{array}

语法上要注意的是，{}代表括起来的东西作为一个整体，如果没有这个括号，例如\begin array，就会被理解成\begin a，而这又是一个不存在的命令，就无法解析。另外的例子还有，在表示下标时用$x_{abc}$的结果为$x_{abc}$而用$x_abc$的结果为$x_{a}bc$。以及如果\begin{array} 和 \end{array}之间存在了一个空行，那么它们就没法括在一起，也是语法错误。

1. 公式样式、表格、图表和矩阵

1.1. 公式

1.1.1. 基本排版

公式的基本排版有行中和行间两种。行中公式放在文中与其它文字混编，行间公式单独成行。有点像css样式里的block和inline block
行中公式用一个美元符号括起：\$数学公式\$
行间公式则用两个美元符号括起：\$\$数学公式\$\$
例1：
$y=x^2$ ----- $y=x^2$
$$y=x^2$$ ----- $$y=x^2$$

1.1.2. 对齐的公式

1.1.3. 分类表达式

1.1.4. 方程组

1.1.5. 标签和引用

For longer calculations (or referring to other post’s results) it is convenient to use the tagging/labelling/referencing system. To tag an equation use \tag{yourtag}, and if you want to refer to that tag later on, add \label{somelabel} right after the \tag. It is not necessary that yourtag and somelabel are the same, but it usually is more convenient to do so:

KaTeX parse error: Expected 'EOF', got '\label' at position 22: …x^2-y^3 \tag{*}\̲l̲a̲b̲e̲l̲{*}
a:=x2−y3(*)
In order to refer to an equation, just use \eqref{somelabel}

KaTeX parse error: Expected '}', got '\eqref' at position 18: …+y^3 \stackrel{\̲e̲q̲r̲e̲f̲{*}}= x^2
a+y3=(*)x2
or \ref{somelabel}

Equations are usually referred to as KaTeX parse error: Expected 'EOF', got '\eqref' at position 1: \̲e̲q̲r̲e̲f̲{*}, but you can also use KaTeX parse error: Expected 'EOF', got '\ref' at position 1: \̲r̲e̲f̲{*}.
Equations are usually referred to as (*), but you can also use *.

As you can see, references are even turned into hyperlinks, which you can use externally as well, e.g. like this. Note that you can also reference labels in other posts as long as they appear on the same site, which is especially useful when referring to a question with multiple equations, or when commenting on a post.

Due to a bug blocks containing a \label will break in preview, as a workaround you can put \def\label#1{} in your post while editing and remove that on submission - unfortunately this means you won’t spot misspelled references before submitting… Just don’t forget to remove that \def again
###1.1.6. 高亮公式
To highlight an equation, \bbox can be used. E.g,

KaTeX parse error: Expected 'EOF', got '\bbox' at position 2: \̲b̲b̲o̲x̲[yellow] { e^x=…
produces

ex=limn→∞(1+xn)n(1)
By default, the bounding box is “tight”, so it doesn’t extend beyond the characters used in the formula. You can add a little space around the equation by adding a measurement after the color. E.g.,

KaTeX parse error: Expected 'EOF', got '\bbox' at position 2: \̲b̲b̲o̲x̲[yellow,5px] { …
produces

ex=limn→∞(1+xn)n(1)
To add a border, use

KaTeX parse error: Expected 'EOF', got '\bbox' at position 2: \̲b̲b̲o̲x̲[5px,border:2px…
produces

ex=limn→∞(1+xn)n(2)
You can do both border and background, as well:

KaTeX parse error: Expected 'EOF', got '\bbox' at position 2: \̲b̲b̲o̲x̲[yellow,5px,bor…
produces

ex=limn→∞(1+xn)n(1)

1.2. 表格

mathjax实际上不支持Latex的这里的表格，在mathjax中其实是数组，但是它能实现类似表格的排版功能，因此也把它归类于表格吧。可以使用$$\begin{array}{列样式}...\end{array}$$这样的形式来创建表格，列样式clr分别表示居中，左，右对齐，还可以使用|表示一条竖线。表格中各行使用\\分隔，各列使用&分隔，使用\hline在本行前加入一条直线。

 $$\begin{array}
 {c|lcr} n & \text{Left} & \text{Center} & \text{Right} \\
 2 & -1 & 189 & -8 \\
 3 & -20 & 2000 & 1+10i \\
 \end{array}$$

$$\begin{array}{clcr}n& \text{Left}& \text{Center}& \text{Right}\\ 1& 0.24& 1& 125\\ 2& -1& 189& -8\\ 3& -20& 2000& 1+10i\end{array}$$
一个复杂的例子如下：

$$\begin{array} {c}
% inner horizontal array of arrays
\begin{array} {cc}
% inner array of minimum values
\begin{array} {c|cccc}
\text{min} & 0 & 1 & 2 & 3\\
\hline
0 & 0 & 0 & 0 & 0\\
1 & 0 & 1 & 1 & 1\\
2 & 0 & 1 & 2 & 2\\
3 & 0 & 1 & 2 & 3
\end{array}
&
% inner array of maximum values
\begin{array} {c|cccc}
\text{max}&0&1&2&3\\
\hline
0 & 0 & 1 & 2 & 3\\
1 & 1 & 1 & 2 & 3\\
2 & 2 & 2 & 2 & 3\\
3 & 3 & 3 & 3 & 3
\end{array}
\end{array}
\\
% inner array of delta values
\begin{array} {c|cccc}
\Delta&0&1&2&3\\
\hline
0 & 0 & 1 & 2 & 3\\
1 & 1 & 0 & 1 & 2\\
2 & 2 & 1 & 0 & 1\\
3 & 3 & 2 & 1 & 0
\end{array}
\end{array}$$

$$\begin{array}{c}\begin{array}{cc}\begin{array}{ccccc}\text{min}& 0& 1& 2& 3\\ 0& 0& 0& 0& 0\\ 1& 0& 1& 1& 1\\ 2& 0& 1& 2& 2\\ 3& 0& 1& 2& 3\end{array}& \begin{array}{ccccc}\text{max}& 0& 1& 2& 3\\ 0& 0& 1& 2& 3\\ 1& 1& 1& 2& 3\\ 2& 2& 2& 2& 3\\ 3& 3& 3& 3& 3\end{array}\end{array}\\ \begin{array}{ccccc}\Delta & 0& 1& 2& 3\\ 0& 0& 1& 2& 3\\ 1& 1& 0& 1& 2\\ 2& 2& 1& 0& 1\\ 3& 3& 2& 1& 0\end{array}\end{array}$$

1.3. 矩阵

1.3.1. 基本用法

1.3.1. 加括号

1.3.1. 省略元素

1.3.1. 基本用法

1.4. 图表

Commutative diagrams
AMScd diagrams must start with a “require”:

KaTeX parse error: Expected 'EOF', got '\require' at position 1: \̲r̲e̲q̲u̲i̲r̲e̲{AMScd}
\begin{CD}
A @>a>> B\
@V b V V= @VV c V\
C @>>d> D
\end{CD}
to get this diagram:
Ab⏐↓⏐C−→−−−−a=−→−−−−dB⏐↓⏐cD
@>>> is used for arrow right

@<<< is used for arrow left

@VVV is used for arrow down

@AAA is used for arrow up

@= is used for horizontal double line

@| is used for vertical double line

@. is used for no arrow

Another example:

\begin{CD}
    A @>>> B @>{\text{very long label}}>> C \\
    @. @AAA @| \\
    D @= E @<<< F
\end{CD}

AD−→−−−−======B↑⏐⏐E−→−−−−−−−very long label←−−−−−−−−C∥∥F
Long labels increase the length of the arrow and in this version also automatically increase corresponding arrows.

KaTeX parse error: Expected 'EOF', got '\require' at position 1: \̲r̲e̲q̲u̲i̲r̲e̲{AMScd}
\begin{CD}
RCOHR’SO_3Na @>{\text{Hydrolysis,$\Delta ,Dil.HCl$}}>> (RCOR’)+NaCl+SO_2+ H_2O
\end{CD}
RCOHR′SO3Na−→−−−−−−−−−−−Hydrolysis,Δ,Dil.HCl(RCOR′)+NaCl+SO2+H2O

1.6其他

1.6.1. 长除法

2. 符号

2.1. 希腊字母和希伯来字母

$$\begin{array}{ccccccc}\text{英文名称}& \text{大写}& \text{代码}& \text{常用表意}& \text{小写}& \text{代码}& \text{常用表意}\\ alpha& A& A& & \alpha & \backslash alpha& \\ beta& B& B& & \beta & \backslash beta& \\ gamma& \Gamma & \backslash Gamma& & \gamma & \backslash gamma& \\ delta& \Delta & A& & \delta & \backslash delta& \\ epsilon& E& E& & ϵ& \backslash epsilon& \\ zeta& Z& Z& & \zeta & \backslash zeta& \\ eta& H& H& & \eta & \backslash eta& \\ theta& \Theta & \backslash Theta& & \theta & \backslash theta& \\ iota& I& I& & \iota & \backslash iota& \\ kappa& K& kappa& & \kappa & \backslash kappa& \\ lambda& \Lambda & \backslash Lambda& & \lambda & \backslash lambda& \\ mu& M& M& & \mu & \backslash mu& \text{期望}\\ nu& N& N& & \nu & \backslash nu& \\ xi& \Xi & \backslash Xi& & \xi & \backslash xi& \\ omicron& O& O& & o& \backslash omicron& \\ pi& \Pi & \backslash Pi& & \pi & \backslash pi& \\ rho& P& P& & \rho & \backslash rho& 密度\\ sigma& \Sigma & \backslash Sigma& 求和符号& \sigma & \backslash sigma& \\ tau& T& T& & \tau & \backslash tau& \\ upsilon& {\rm Y}& \backslash Upsilon& & \upsilon & \backslash upsilon& \\ phi& \Phi & \backslash Phi& & \varphi & \backslash phi& \\ chi& X& x& & \chi & \backslash chi& \\ psi& \Phi & \backslash Psi& & \psi & \backslash psi& \\ omega& \Omega & \backslash Omega& & \omega & \backslash omega& \end{array}$$

2.2. 运算符和操作符

2.2.1. 比较运算符

2.2.2. 集合运算符

2.2.3. 计算运算符

2.2.4. 求和、积及积分运算符

累加：$\sum_{i=1}^nX_i$${\sum }_{i=1}^n{X}_i$
累乘：$\prod_{i=1}^nX_i$${\prod }_{i=1}^n{X}_i$
积分：$\int_{-\infty}^{\infty}x\,dx$${\int }_{-\infty }^{\infty }xdx$，二重$\iint_{-\infty}^{\infty}xy\,dx\,dy$$\iint xydxdy$，以此类推。如果多重积分要强调各自的上下限那还是得按一重积分分开写。
曲线积分：$\ointf\,ds$$\oint fds$
曲面积分：不知道。

2.2.5. 逻辑运算符及推导符号

$\lt \gt \le \ge \neq \not\lt$
$<>\le \ge ̸≠<$

$\cup \cap \setminus \subset \subseteq \subsetneq \supset \in \notin \emptyset \varnothing$
$\cup \cap \setminus \subset \subseteq ⊊\supset \in \notin \varnothing \varnothing$

$\land \lor \lnot \forall \exists \top \bot \vdash \vDash $
$\land \lor \lnot \forall \exists \top \bot \vdash \vDash $

$\to \rightarrow \leftarrow \Rightarrow \Leftarrow \mapsto$
$\to \rightarrow \leftarrow \Rightarrow \Leftarrow \mapsto $

2.2.6. 三角运算符

2.2.7. 对数运算符

2.2.7.横线、箭头、帽子等修饰、强调符号

上下结构：
帽子：单个字符的窄帽子$\hat x$ $\hat{x}$ 和多个字符的宽$\widehat {xy}$$xy$。当然，太宽也不好看，所以限制了最多只能帽下4个字符$wakaka$。
顶上加弯弯（反正我老师这样叫的~~）:$\tilde x$ ,$\tilde{x}$。只能对单个字符。
杠：用$\bar x$ $\overline{搭}$对单个字符，用$\overline {搭搭搭搭}$$\overline{搭搭搭搭}$,对多个字符。这个倒是没有限制个数。
如果把这个看成汉语拼音声调的一声的话，下面把另外三声也补上吧：
二声：$\acute {答}$´,$\acute{答}$。
三声：$\check {打}$,$\check{打}$。
四声：$\grave {大}$,$\grave{大}$。

矢量箭头：$\vec x$ $xzzz$ ，这个倒是可以放两个字符：$\vec {nihao}$ $nihao$,还有个叫顶右向箭头的同类，可以放下多个字符：$\overrightarrow {woshihaoren}$$woshihaoren$。
再来一个顶部双向箭头：$\overleftrightarrow {rangshijiechongmanai}$$rangshijiechongmanai$。
顶上加空心点：$\mathring{A}$，$\mathring{A}$。
顶上加实心点：$\dot{x^2}+x\ddot{x}$，$\dot{x^2}+x\ddot{x}$，\dot代表单点，\ddot代表双点。最多可以四个点KaTeX parse error: Expected 'EOF', got '\dddot' at position 16: \dot{x}\ddot{x}\̲d̲d̲d̲o̲t̲{x}\ddddot{x}。
表示上下结构的通法：$\overset{above}{below}$$\stackrel{above}{\mathrm{below}}$，可以随意填符号对号入座，例如$\stackrel{@}{A}$$\stackrel{\star }{B}$等等。

\star \ast \oplus \circ \bullet : ⋆ ∗ ⊕ ∘ ∙
\infty \aleph_o \nabla \partial \Im \Re : ∞ ℵo ∇ ∂ I R
模运算 \pmode , 如 a \equiv b \pmod n : a≡b(modn)
省略符号

2.3转义字符

2.x. 其他

3.字体

3.1. 加粗斜体和下划线

3.2字体变形

用\mathbb{内容} 或 \Bbb{内容} 表示 "blackboard bold"黑板加粗体:
$\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}$
$abcdefghij\mathbb{k}lmnopqrstuvwxyz$
此字体经常用来表示实数、整数、有理数、复数。

用\mathbf{内容} 表示 "boldface"大脸体:
$\mathbf{A}\mathbf{B}\mathbf{C}\mathbf{D}\mathbf{E}\mathbf{F}\mathbf{G}\mathbf{H}\mathbf{I}\mathbf{J}\mathbf{K}\mathbf{L}\mathbf{M}\mathbf{N}\mathbf{O}\mathbf{P}\mathbf{Q}\mathbf{R}\mathbf{S}\mathbf{T}\mathbf{U}\mathbf{V}\mathbf{W}\mathbf{X}\mathbf{Y}\mathbf{Z}$
$\mathbf{a}\mathbf{b}\mathbf{c}\mathbf{d}\mathbf{e}\mathbf{f}\mathbf{g}\mathbf{h}\mathbf{i}\mathbf{j}\mathbf{k}\mathbf{l}\mathbf{m}\mathbf{n}\mathbf{o}\mathbf{p}\mathbf{q}\mathbf{r}\mathbf{s}\mathbf{t}\mathbf{u}\mathbf{v}\mathbf{w}\mathbf{x}\mathbf{y}\mathbf{z}$

用\mathtt{内容}表示 "typewriter"打字机体:
$\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}$
$\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}$

用\mathrm{内容}表示罗马体:
$\mathrm{A}\mathrm{B}\mathrm{C}\mathrm{D}\mathrm{E}\mathrm{F}\mathrm{G}\mathrm{H}\mathrm{I}\mathrm{J}\mathrm{K}\mathrm{L}\mathrm{M}\mathrm{N}\mathrm{O}\mathrm{P}\mathrm{Q}\mathrm{R}\mathrm{S}\mathrm{T}\mathrm{U}\mathrm{V}\mathrm{W}\mathrm{X}\mathrm{Y}\mathrm{Z}$
$\mathrm{a}\mathrm{b}\mathrm{c}\mathrm{d}\mathrm{e}\mathrm{f}\mathrm{g}\mathrm{h}\mathrm{i}\mathrm{j}\mathrm{k}\mathrm{l}\mathrm{m}\mathrm{n}\mathrm{o}\mathrm{p}\mathrm{q}\mathrm{r}\mathrm{s}\mathrm{t}\mathrm{u}\mathrm{v}\mathrm{w}\mathrm{x}\mathrm{y}\mathrm{z}$

用\mathsf {内容}表示 sans-serif 体:
$\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}$
$\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}$

用\mathcal {内容}表示"calligraphic" 书法字母:
$\mathcal{A}\mathcal{B}\mathcal{C}\mathcal{D}\mathcal{E}\mathcal{F}\mathcal{G}\mathcal{H}\mathcal{I}\mathcal{J}\mathcal{K}\mathcal{L}\mathcal{M}\mathcal{N}\mathcal{O}\mathcal{P}\mathcal{Q}\mathcal{R}\mathcal{S}\mathcal{T}\mathcal{U}\mathcal{V}\mathcal{W}\mathcal{X}\mathcal{Y}\mathcal{Z}$
$abcdefghijklmnopqrstuvwxyz$

用\mathscr {内容}表示手迹字母:
$\mathcal{A}\mathcal{B}\mathcal{C}\mathcal{D}\mathcal{E}\mathcal{F}\mathcal{G}\mathcal{H}\mathcal{I}\mathcal{J}\mathcal{K}\mathcal{L}\mathcal{M}\mathcal{N}\mathcal{O}\mathcal{P}\mathcal{Q}\mathcal{R}\mathcal{S}\mathcal{T}\mathcal{U}\mathcal{V}\mathcal{W}\mathcal{X}\mathcal{Y}\mathcal{Z}$
$abcdefghijklmnopqrstuvwxyz$

用\mathfrak {内容}表示"Fraktur" 老德国风格字母:
$\mathfrak{A}\mathfrak{B}\mathfrak{C}\mathfrak{D}\mathfrak{E}\mathfrak{F}\mathfrak{G}\mathfrak{H}\mathfrak{I}\mathfrak{J}\mathfrak{K}\mathfrak{L}\mathfrak{M}\mathfrak{N}\mathfrak{O}\mathfrak{P}\mathfrak{Q}\mathfrak{R}\mathfrak{S}\mathfrak{T}\mathfrak{U}\mathfrak{V}\mathfrak{W}\mathfrak{X}\mathfrak{Y}\mathfrak{Z}$
$\mathfrak{a}\mathfrak{b}\mathfrak{c}\mathfrak{d}\mathfrak{e}\mathfrak{f}\mathfrak{g}\mathfrak{h}\mathfrak{i}\mathfrak{j}\mathfrak{k}\mathfrak{l}\mathfrak{m}\mathfrak{n}\mathfrak{o}\mathfrak{p}\mathfrak{q}\mathfrak{r}\mathfrak{s}\mathfrak{t}\mathfrak{u}\mathfrak{v}\mathfrak{w}\mathfrak{x}\mathfrak{y}\mathfrak{z}$

3.x. 其他

4.上下标及附加样式

4.1. 上下标

4.1. 顶部符号

4.1. 底部符号

4.1. 划线符号

Use \require{cancel} in the first formula in your post that requires cancelling; you need it only once per page. Then use:

y+\cancel{x}\cancel{y+x}y+\bcancel{x}y+\xcancel{x}y+\cancelto{0}{x}\frac{1\cancel9}{\cancel95} = \frac15y+xy+xy+xy+xy+x01995=15
Use \require{enclose} for the following:

\enclose{horizontalstrike}{x+y}\enclose{verticalstrike}{\frac xy}\enclose{updiagonalstrike}{x+y}\enclose{downdiagonalstrike}{x+y}\enclose{horizontalstrike,updiagonalstrike}{x+y}x+yxyx+yx+yx+y
\enclose can also produce enclosing boxes, circles, and other notations; see MathML menclose documentation for a complete list.
\cancelto{\cancelto{\cancelto{x^{{2+x}}{\cancelto{x}2}{x}+4}}4}0

4.x. 其他