Home MathJax 数学公式语法
Post
Cancel

MathJax 数学公式语法

Posted Apr 11, 2022 Updated May 7, 2023
By CompetitiveLin
10 min read

MathJax中的公式排版有两种方式，inline和displayed。

  • inline表示公式嵌入到文本段中，也称为行模式。$ f(x) = 3 \times x $这是一个inline公式

  • displayed表示公式独自成为一个段落，也成为块模式。下面则是一个displayed公式。

\[f(x) = 3 \times x\]

符号(Operators)

SymbolCommandSymbolCommandSymbolCommand
$\pm$\pm$\mp$\mp$\times$\times
$\div$\div$\cdot$\cdot$\ast$\ast
$\star$\star$\dagger$\dagger$\ddagger$\ddagger
$\amalg$\amalg$\cap$\cap$\cup$\cup
$\uplus$\uplus$\sqcap$\sqcap$\sqcup$\sqcup
$\vee$\vee$\wedge$\wedge$\oplus$\oplus
$\ominus$\ominus$\otimes$\otimes$\circ$\circ
$\bullet$\bullet$\diamond$\diamond$\lhd$\lhd
$\rhd$\rhd$\unlhd$\unlhd$\unrhd$\unrhd
$\oslash$\oslash$\odot$\odot$\bigcirc$\bigcirc
$\triangleleft$\triangleleft$\Diamond$\Diamond$\bigtriangleup$\bigtriangleup
$\bigtriangledown$\bigtriangledown$\Box$\Box$\triangleright$\triangleright
$\setminus$\setminus$\wr$\wr$\sqrt{x}$\sqrt{x}
$x^{\circ}$x^{\circ}$\triangledown$\triangledown$\sqrt[n]{x}$\sqrt[n]{x}
$a^x$a^x$a^{xyz}$a^{xyz}$\frac{x}{y}$\frac{x}{y}
$\sin{x}$\sin{x}$\cos{x}$\cos{x}$\tan{x}$\tan{x}
$\log_xy$\log_xy$\ln{x}$\ln{x}$\max(x,y,z)$\max(x,y,z)
  • 求和：\sum\limits_{i=0}^n{a_i} 显示为$\sum\limits_{i=0}^n{a_i}$
  • 求积：\prod\limits_{i=0}^n{\frac{1}{i^2}} 显示为$\prod\limits_{i=0}^n{\frac{1}{i^2}}$
  • 积分：\int_0^xf(x)dx显示为$\int_0^xf(x)dx$
  • 极限：\lim\limits_{x\to 0}{x} 显示为$\lim\limits_{x\to 0}{x}$
  • 自定义符号：\mathop{SUPER}\limits_{i=0}^n{i^2} 显示为$\mathop{SUPER}\limits_{i=0}^n{i^2}$

关系(Relations)

SymbolCommandSymbolCommandSymbolCommand
$\le $\le$\ge $\ge$\neq $\neq
$\sim $\sim$\ll $\ll$\gg $\gg
$\doteq $\doteq$\simeq $\simeq$\subset $\subset
$\supset $\supset$\approx $\approx$\asymp $\asymp
$\subseteq $\subseteq$\supseteq $\supseteq$\cong $\cong
$\smile $\smile$\sqsubset $\sqsubset$\sqsupset $\sqsupset
$\equiv $\equiv$\frown $\frown$\sqsubseteq $\sqsubseteq
$\sqsupseteq$\sqsupseteq$\propto $\propto$\bowtie $\bowtie
$\in $\in$\ni $\ni$\prec $\prec
$\succ $\succ$\vdash $\vdash$\dashv $\dashv
$\preceq $\preceq$\succeq $\succeq$\models $\models
$\perp $\perp$\parallel $\parallel  
$\mid $\mid$\bumpeq $\bumpeq  

上面这些关系符号的否定(反义)形式可以通过在原符号前添加 \not 来进行实现，或者在 \ 和符号单词之间添加 n 来实现。

下面列出几个常用的否定形式，其他符号的否定形式规则基本类似。

SymbolCommandSymbolCommandSymbolCommand
$\nmid $\nmid$\nleq $\nleq$\ngeq $\ngeq
$\nsim $\nsim$\ncong $\ncong$\nparallel $\nparallel
$\not< $\not<$\not> $\not>$\not= $\not=
$\not\le $\not\le$\not\ge $\not\ge$\not\sim $\not\sim
$\not\approx $\not\approx$\not\cong $\not\cong$\not\equiv $\not\equiv
$\not\parallel $\not\parallel$\nless $\nless$\ngtr $\ngtr
$\lneq $\lneq$\gneq $\gneq$\lnsim $\lnsim
$\lneqq $\lneqq$\gneqq $\gneqq  

像 =, >, 和 < 并没有列在上面的符号，可以直接字面输入，并不需要命令进行触发。

希腊字母(Greek Letters)

小写：

SymbolCommandSymbolCommandSymbolCommand
$\alpha $\alpha$ \beta $\beta$\gamma $\gamma
$\epsilon $\epsilon$ \varepsilon $\varepsilon$\zeta $\zeta
$\theta $\theta$ \vartheta $\vartheta$\iota $\iota
$\lambda $\lambda$ \mu $\mu$\nu $\nu
$\pi $\pi$ \varpi $\varpi$\rho $\rho
$\sigma $\sigma$ \varsigma $\varsigma$\tau $\tau
$\phi $\phi$ \varphi $\varphi$\chi $\chi
$\omega $\omega$ \varrho $\varrho$\kappa $\kappa
$\delta $\delta$ \upsilon $\upsilon$\xi $\xi
$\eta $\eta$ \psi $\psi  

大写：

SymbolCommandSymbolCommandSymbolCommand
$\Gamma $\Gamma$\Delta $\Delta$ \Theta $\Theta
$\Xi $\Xi$\Pi $\Pi$ \Sigma $\Sigma
$\Phi $\Phi$\Psi $\Psi$ \Omega $\Omega
$\Lambda $\Lambda$\Upsilon $\Upsilon  

斜体大写：

SymbolCommandSymbolCommandSymbolCommand
$\varGamma $\varGamma$\varDelta $\varDelta$ \varTheta $\varTheta
$\varXi $\varXi$\varPi $\varPi$ \varSigma $\varSigma
$\varPhi $\varPhi$\varPsi $\varPsi$ \varOmega $\varOmega
$\varLambda $\varLambda$\varUpsilon $\varUpsilon  

箭头(Arrors)

SymbolCommandSymbolCommand
$\gets $\gets$\to $\to
$\leftarrow $\leftarrow$\Leftarrow $\Leftarrow
$\rightarrow $\rightarrow$\Rightarrow $\Rightarrow
$\leftrightarrow $\leftrightarrow$\Leftrightarrow $\Leftrightarrow
$\mapsto $\mapsto$\hookleftarrow $\hookleftarrow
$\leftharpoonup $\leftharpoonup$\leftharpoondown $\leftharpoondown
$\rightleftharpoons $\rightleftharpoons$\longleftarrow $\longleftarrow
$\Longleftarrow $\Longleftarrow$\longrightarrow $\longrightarrow
$\Longrightarrow $\Longrightarrow$\longleftrightarrow$\longleftrightarrow
$\Longleftrightarrow $\Longleftrightarrow$\longmapsto $\longmapsto
$\hookrightarrow $\hookrightarrow$\rightharpoonup $\rightharpoonup
$\rightharpoondown $\rightharpoondown$\leadsto $\leadsto
$\uparrow $\uparrow$\Uparrow $\Uparrow
$\downarrow $\downarrow$\Downarrow $\Downarrow
$\updownarrow $\updownarrow$\Updownarrow $\Updownarrow
$\nearrow $\nearrow$\searrow $\searrow
$\swarrow $\swarrow$\nwarrow $\nwarrow

有些箭头指令, mathjax 提供了缩写指令, $\iff$(\iff) 和 $\implies$(\implies) 可以分别表示为 $\Longleftrightarrow$(\Longleftrightarrow) 和 $\Longrightarrow$(\Longrightarrow)

重音(Accents)

SymbolCommandSymbolCommandSymbolCommand
$\hat{x} $\hat{x}$\check{x} $\check{x}$\dot{x} $\dot{x}
$\breve{x}$\breve{x}$\acute{x} $\acute{x}$\ddot{x} $\ddot{x}
$\grave{x}$\grave{x}$\tilde{x} $\tilde{x}$\mathring{x} $\mathring{x}
$\bar{x} $\bar{x}$\vec{x} $\vec{x}$\overline{x} $\overline{x}
$\widehat{7+x}$\widehat{7+x}$\widetilde{abc}$\widetilde{abc}  

\tilde 和 \hat 两个指令有宽符号的版本。

上述表格最后一行，\widetilde 和 \widehat，通过这两个指令可以生成长版本的表达式结构的符号。

方程组(Equation Sets)

1
2
3
4
5
6
7

$$
f(n) =  \tag{1}
\begin{cases}
\frac{a_n^3}{2},  & \text{if $n$ is even} \\ 
3a_n^2+1, & \text{if $n$ is odd}
\end{cases}
$$
\[f(n) = \tag{1} \begin{cases} \frac{a_n^3}{2}, & \text{if $n$ is even} \\ 3a_n^2+1, & \text{if $n$ is odd} \end{cases}\]

字体(Fonts)

  • 打印机字体Typewriter：\mathtt{R} 显示为$\mathtt{R}$
  • 黑板粗体字Blackboard Bold：\mathbb{R} 显示为$\mathbb{R}$。表示实数集的意思。
  • 无衬线字体Sans Serif：\mathsf{R} 显示为$\mathsf{R}$
  • 手写体Script：\mathscr{R} 显示为$\mathscr{R}$
  • 罗马字体Roman：\mathrm{R} 显示为$\mathrm{R}$

点(Dots)

SymbolCommandSymbolCommand
$\cdot $\cdot$\vdots $\vdots
$\dots $\dots$\ddots $\ddots
$\cdots$\cdots$\ldots $\ldots

\ldots 和 \cdots 是低位置省略号和中心位置省略号的 latex 命令, \dots 是 amsmath 命令用来试图帮你在 \ldots 和 \cdots 中自动做决断的。

通常来讲中心省略 \cdots 一般用在数学模式的中心线上的符号后面，例如加号 + 或者右箭头 -> , 而 \ldots 一般用在标点符号的后面，例如句号“ . ” or逗号“ , ”。

例如，

$ a + b + \cdots + z \quad a_1, \ldots, a_n $ 显示为$ a + b + \cdots + z \quad a_1, \ldots, a_n $

改为\dots便可以根据实际情况自动地改变省略号的位置

$ a + b + \dots + z \quad a_1, \dots, a_n $ 显示为$ a + b + \dots + z \quad a_1, \dots, a_n $

使用\dots基本可以满足要求。但是，\dots 并不是每次都能正确自动改变省略号的位置，所以还是需要根据自己的实际情况选择不同的dots。

矩阵(Matrices)

  • 小括号边框：pmatrix
  • 中括号边框：bmatrix
  • 大括号边框：Bmatrix
  • 单竖线边框：vmatrix
  • 双竖线边框：Vmatrix
1
2
3
4
5
6
7
8

$$
\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}
$$
\[\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}\]

界限符号(Bracketing Symbols)

在数学公式里，有时我们会通过括号( (), [], {} )进行界线控制。这些符号有些是可以直接输入，比如 (), [], | 等，而有些符号是要经过转义的，下面列出了这些比较特殊的符号。

SymbolCommandSymbolCommand
$\lfloor $\lfloor$\rfloor $\rfloor
$\lceil $\lceil$\rceil $\rceil
$\langle $\langle$\rangle $\rangle

上括号$ \overbrace{a_0+a_1+a_2+\cdots+a_n}^{x} $，显示为$ \overbrace{a_0+a_1+a_2+\cdots+a_n}^{x} $

下括号$ \underbrace{a_0+a_1+a_2+\cdots+a_n}_{x} $，显示为$ \underbrace{a_0+a_1+a_2+\cdots+a_n}_{x} $

但是有时候界限符号不够高，所以需要一些自适应括号，比如$ (\frac{a}{x} )^2 $，显示为

\[(\frac{a}{x} )^2\]

使用自适应括号的代码为$ \left(\frac{a}{x} \right)^2 $，显示为

\[\left(\frac{a}{x} \right)^2\]

但是也只有在块模式的时候会比较明显。

其他(Others)

SymbolCommandSymbolCommandSymbolCommand
$\infty $\infty$ \triangle $\triangle$\angle $\angle
$\aleph $\aleph$ \hbar $\hbar$\imath $\imath
$\jmath $\jmath$ \ell $\ell$\wp $\wp
$\Re $\Re$ \Im $\Im$\mho $\mho
$\prime $\prime$ \emptyset $\emptyset$\nabla $\nabla
$\surd $\surd$ \partial $\partial$\top $\top
$\bot $\bot$ \vdash $\vdash$\dashv $\dashv
$\forall $\forall$ \exists $\exists$\neg $\neg
$\flat $\flat$ \natural $\natural$\sharp $\sharp
$\backslash$\backslash$ \Box $\Box$\Diamond $\Diamond
$\clubsuit $\clubsuit$ \diamondsuit $\diamondsuit$\heartsuit $\heartsuit
$\spadesuit$\spadesuit$ \Join $\Join$\blacksquare$\blacksquare
$\bigstar $\bigstar$ \in $\in$\cup $\cup
$\square $\square$ \S $\S$\checkmark $\checkmark
$\because $\because$ \therefore $\therefore  
Tutorial, Mathjax
getting started syntax
This post is licensed under CC BY 4.0 by the author.
Recently Updated
Contents

Difference between NEW and MALLOC in C++

Dev-C++支持C++11的操作