KaTeX数学公式编写指南【翻译】

前言

当我想要在 markdown 中记录微积分的学习情况时，发现数学公式的编写与我所熟知的方式大相径庭，Markdown本身是不支持数学公式的编写的，但它支持LaTeX语法编辑和KaTeX渲染，只需将公式用以下方式书写：

$公式内容$ 或 $$公式内容$$
例如：
你将看见以下两个公式$\sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6}$或$$\sum_{i=0}^n i^2 = \frac{(n^2+n)(2n+1)}{6}$$

他的效果是这样的：
你将看见以下两个公式${\sum }_{i=0}^n{i}^2=\frac{(n^2+n)(2n+1)}{6}$或$$\sum _{i=0}^n{i}^2=\frac{(n^2+n)(2n+1)}{6}$$
找到他们的区别了吗？

‘$...$’将会使文章与公式紧密相接，'$$...$$'将会独自占据一行并居中

我在查阅资料的时候发现了这篇文章，非常详尽的解释了书写规则，但不知缘何，我的网页展示总是有点问题，非常不便阅读，所以自己手动调整并做了一点简单整理放在下面。
原文为德语，我的浏览器自动翻译为英语，因为实在懒得再去调整浏览器设置，以下转载为手动翻译，如有不妥之处还请见谅。

原文传送：MathJax: LaTeX Basic Tutorial und Referenz (Deutsch)

特殊字符

希腊字母

$\alpha$, $\beta$, …, $\omega$

$\alpha$, $\beta$, …, $\omega$.

大写字母

 $\Gamma$, $\Delta$, …, $\Omega$.

$\Gamma$, $\Delta$, …, $\Omega$.

其他希腊大写字母

使用拉丁语

 $A,, B, E$

$A,B,E$.

希腊字母变体

在变体前加上var，前后为正常和变体

$\epsilon$, $\varepsilon$,  
$\phi$, $\varphi$,

$ϵ$, $\epsilon$,
$\varphi$, $\phi$,

特殊格式

上标和下标

分别使用^和_

$x_i^2$, $\log_2 x$

$x_i^2$, ${\log }_{2}x$.

组

上标、下标和其他操作仅适用于下一个“组”。“组”是单个符号，或者是用大括号括起来的任何公式。
“组”到底是什么呢？
来看一个例子：

 $10^10$

surprise！你将会得到 $10^{1}0$
是不是和想象的不一样？这就是上文所言的“单个符号”
而如果你想要的是$10^{10}$，应该使用：

$10^{10}$

大括号内不仅可以包含数字，还可以是公式，再来看一个例子：

$x^y^z$

你将会得到一个error，正确表示如：

 ${x^y}^z$ , $x^{y^z}$

${x^y}^z$ , $x^{y^z}$
注意他们的区别，并比较以下3个公式的区别：

$x_i^2$,  $x_{i^2}$ and  ${x_i}^2$

$x_i^2$, $x_{i^2}$ and ${x_i}^2$
还是挺明显的吧

括号

普通括号如小括号和方括号直接使用()[]，大括号需要使用{和}

$(2+3)[4+4]\{5+5\}$

( 2 + 3 ) [ 4 + 4 ] { 5 + 5 } (2+3)[4+4]\{5+5\} (2+3)[4+4]{5+5}
但这些常规的符号可能无法匹配公式的大小，如以下公式

$(\frac{\frac{\sqrt x}{y^3}}{\frac{x}{z^2}}\right)$

效果是这样的：$(\frac{\frac{\sqrt{x}}{y^3}}{\frac{x}{z^2}})$
好怪哦，再看一眼

实际上，如果你想要得到一个合适大小的括号，你需要使用’\left’和’right’来使括号能自适应公式大小，如上诉公式：

$\left(\frac{\frac{\sqrt x}{y^3}}{\frac{x}{z^2}}\right)$

$\left(\frac{\frac{\sqrt{x}}{y^3}}{\frac{x}{z^2}}\right)$
啊，这下舒服多了~

\left 和\right 适用于以下所有提及的括号类型:

$(x)$ , $[x]$ , $\{ x \}$
$|x|$,  $\vert x \vert$
$\Vert x \Vert$
$\langle x \rangle$, $\lceil x \rceil$, $\lfloor x \rfloor$.

$(x)$ , $[x]$ , { x } \{ x \} {x}
$|x|$, $|x|$
$\Vert x\Vert$
$⟨x⟩$, $\lceil x\rceil$, $\lfloor x\rfloor$.

另外，使用

$\middle$

能添加其他分隔符，还可使用

.

来设置不可见的括号，比如：

$\left.x^2\right\rvert_3^5 = 5^2-3^2$

${x^2|}_3^5=5^2-3^2$
如果需要手动更改支架大小，请使用：

$\Biggl(\biggl(\Bigl(\bigl((x)\bigr)\Bigr)\biggr)\Biggr)$

$\left(\right(\left(\right((x)\left)\right)\left)\right)$

累加和积分（包含累积、交、并）

$\sum$ , $\int$ 

$\sum$ , $\int$
下标来表示下限，上标来表示上限，如下：

$\sum_{i=0}^\infty i^2$

${\sum }_{i=0}^{\infty }{i}^2$
若想压缩上下标，可显示指出limits

$\sum\limits_{i=0}^\infty i^2$

$\sum _{i=0}^{\infty }{i}^2$

注意：不要忘记在限制条件超过一个字符时加上{ }

类似的，

$\prod$, $\int$, $\bigcup$, $\bigcap$, $\iint$, $\iiint$, $\idotsint$.

$\prod$, $\int$, $\bigcup$, $\bigcap$, $\iint$, $\iiint$
使用方法同上（最后一个\idotsint\也为多重积分，因缺少参数原因没能展示）

分数

有三种方式来展现分数：

frac(简单分数适用）

$\frac ab$

$\frac{a}{b}$

也可以结合组的性质，如：

 $\frac{a+1}{b+1}$

$\frac{a+1}{b+1}$

over（复杂分数适用）

但如果分子和分母很复杂，也许你会更喜欢这个,还是刚刚那个例子：

${a+1\over b+1}$

$\frac{a+1}{b+1}$

cfrac(连续分数适用）

$\cfrac{1}{1+\cfrac{1}{1+x}}$

$\frac{1}{1+\frac{1}{1+x}}$

字体

• Use \mathbb or \Bbb for “blackboard bold”:

  \mathbb{CHNQRZ}$
  

  $\mathbb{CHNQRZ}$.

• Use \mathbf for boldface:

   $\mathbf{CHNQRZ}$  $\mathbf{chnqrz}$
  

  $\mathbf{CHNQRZ}$ $\mathbf{chnqrz}$.

对于基于表达式的字符：

• use \boldsymbol instead:

   $\boldsymbol{\alpha}$
  

  $\mathbf{\alpha }$
• Use \mathit for italics:

  $\mathit{CHNQRZ}$ $\mathit{chnqrz}$
  

  $CHNQRZ$ $chnqrz$.
• Use \pmb for boldfaced italics:

  $\pmb{CHNQRZ}$ $\pmb{chnqrz}$
  

  $CHNQRZ$ $chnqrz$.
• Use \mathtt for “typewriter” font:

  $\mathtt{CHNQRZ}$ $\mathtt{chnqrz}$
  

  $\mathtt{CHNQRZ}$ $\mathtt{chnqrz}$.
• Use \mathrm for roman font:

  $\mathrm{CHNQRZ}$ $\mathrm{chnqrz}$
  

  $\mathrm{CHNQRZ}$ $\mathrm{chnqrz}$.
• Use \mathsf for sans-serif font:

     $\mathsf{CHNQRZ}$ $\mathsf{chnqrz}$
  

  $\mathsf{CHNQRZ}$ $\mathsf{chnqrz}$.
• Use \mathcal for “calligraphic” letters:

  $\mathcal{CHNQRZ}$ (Uppercase only.)
  

  $\mathcal{C}\mathcal{H}\mathcal{N}\mathcal{Q}\mathcal{R}\mathcal{Z}$ (Uppercase only.)
• Use \mathscr for script letters:

  $\mathscr{CHNQRZ}$ $\mathscr{chnqrz}$
  

  $\mathcal{CHNQRZ}$ $chnqrz$
• Use \mathfrak for “Fraktur” (old German style) letters:

  $\mathfrak{CHNQRZ}$ $\mathfrak{chnqrz}$.
  

  $\mathfrak{CHNQRZ}$ $\mathfrak{chnqrz}$.

根号

部首符号使用sqrt，它会根据参数的大小来调整大小（great！）

$\sqrt{x^3}$，$\sqrt[3]{\frac xy}$

$\sqrt{x^3}$，$\sqrt[3]{\frac{x}{y}}$
但对于那些复杂的表达式，考虑使用 {…}^{1/2} 来代替。

sin/lim/max/ln…

对于一些特殊的公式，比如 “lim”, “sin”, “max”, "ln"以及其他类似的公式，通常使用罗马字母而不是斜体。注意不要直接使用sinx、limx，而是使用：

$\sin x$ ， $\lim$

$\sin x$ ， $\lim $

注意：sin与x之间有个空格

如果希望lim加上下标：

行内$\lim_{x\to 0}$ ， 行间$$\lim_{x\to 0}$$

行内${\lim }_{x\to 0}$ ， 行间$$\underset{x\to 0}{\lim }$$
发现他们的区别了吗？
行内公式未压缩下标，含有隐式的nolimits，而行间公式压缩下标，含有隐式的limits，这也可以被显示的指定，如下：

行内$\lim\limits_{x\to 0}$ ， 行间$$\lim\nolimits_{x\to 0}$$

非标准函数可自定义函数名：

 $\operatorname{foo}(x)$

$\mathrm{foo}(x)$.

符号

有太多的符号了，无法在这里一一列举，可以去看看Emre Sermutlu博士简单整理的$\text{LATEX}$和${\mathcal{A}}_{\mathcal{M}}\mathcal{S}$-$\text{LATEX}$ 列表，或者更为详尽的由Scott Pakin博士创作的 $\text{LATEX}$ 列表
接下来我会列出一些常见的符号：

比大小

$\lt$, $\gt$, $\le$, $\ge$,$\neq$

$<$, $>$, $\le$, $\ge$,$\ne$
你可以使用\not在符号上加上一个斜线：

$\not\lt$

$\nless$

加减乘除

$\times$, $\div$, $\pm$, $\mp$

$\times$, $÷$, $\pm$, $\mp$
如果你想使用点乘：

$x\cdot y$

$x\cdot y$

集合

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

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

矩阵

${n+1 \choose 2k} or \binom{n+1}{2k}$

$\left(\genfrac{}{}{0ex}{}{n+1}{2k}\right)or\left(\genfrac{}{}{0ex}{}{n+1}{2k}\right)$

箭头

$\to$, $\gets$, $\rightarrow$, $\leftarrow$, $\Rightarrow$, $\Leftarrow$, $\mapsto$, $\implies$, $\iff$

$\to$, $\leftarrow$, $\to$, $\leftarrow$, $\Rightarrow$, $\Leftarrow$, $\mapsto$, $⟹$, $⟺$

逻辑

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

$\wedge$, $\vee$, $\neg$, $\forall$, $\exists$, $\top$, $\perp$, $⊢$, $\models$

特殊运算

$\star$, $\ast$, $\oplus$, $\circ$, $\bullet$

$\star$, $\ast$, $\oplus$, $\circ$, $\bullet$

相似相等

$\approx$, $\sim $, $\simeq$, $\cong$, $\equiv$, $\prec$, $\lhd$

$\approx$, $\sim $, $\simeq$, $\cong$, $\equiv$, $\prec$, $⊲$

代数

$\infty\, \aleph_0$ , $\nabla$, $\partial$ , $\Im$, $\Re$

$\infty {\aleph }_0$ , $\nabla$, $\partial$ , $\Im$, $\Re$

模等式与模

$a\equiv b\pmod n$

$a\equiv b(\mathrm{mod}n)$

$a\bmod 17$

$a\mathrm{mod}17$

省略号

$a_1, a_2, \dots, a_n$ and $a_1+a_2+\dots+a_n$

$a_1,a_2,\dots ,a_n$ and $a_1+a_2+\cdots +a_n$

Script lowercase l（近似手写）

$\ell$

$\ell$.

空格

由短到长：
$a\,b$  ；  $a\;b$  ； $a\quad b$  ；$a\qquad b$

$ab$ ； $ab$ ； $ab$ ；$ab$

文本

$\{x\in s\mid x\text{ is extra large}\}$

{ x ∈ s ∣ x  is extra large } \{x\in s\mid x\text{ is extra large}\} {x∈s∣x is extra large}

符号之上

重音和变音： $\hat x$，$\widehat{xy}$
线和箭头：$\bar x$，$\overline{xyz}$，$\vec x$ ，$\overleftrightarrow{xy}$，$\overrightarrow{xy}$
点：$\frac d{dx}x\dot x = \dot x^2 + x\ddot x$

重音和变音： $\hat{x}$，$\widehat{xy}$
线和箭头：$\bar{x}$，$\overline{xyz}$，$\vec{x}$ ，$\overleftrightarrow{xy}$，$\overrightarrow{xy}$
点：$\frac{d}{dx}x\dot{x}={\dot{x}}^2+x\ddot{x}$

特殊

一些用于MathJax语法的符号需要添加“\”来显示：

\\$ $\$$, \{ $\{$, \} $\}$, \_ $\_$, \# $\#$, \& $\&$

如果你想要使用“\”符号本身，你需要：

 $\backslash$ （符号） ,  $setminus$（二进制操作）

$\backslash$
不能直接在前面添加“\”来表示，是因为“\\”表示另起一行。

$123\\123$ 

$$\begin{gathered} 123 \\ 123 \end{gathered}$$