Yihui’s Blog

LaTeX 数学公式语法手册

手册地址

保留字符

LaTeX 环境中具有特殊含义的保留字符,不能直接使用,必须通过指定的语法实现:

序号符号LaTeX序号符号LaTeX
1#\#6{\{
2%\%7}\}
3∧^\wedge8∼\sim
4&\&9∖\backslash
5_\_

希腊字母

序号标准符号LaTeX首字母大写LaTeX使用 var 前缀LaTeX读音
1α\alpha/ˈælfə/
2β\beta/ˈbeɪtə/
3γ\gammaΓ\GammaΓ\varGamma/ˈɡæmə/
4δ\deltaΔ\DeltaΔ\varDelta/ˈdɛltə/
5ϵ\epsilonε\varepsilon/ˈɛpsɪlɒn/
6ζ\zeta/ˈzeɪtə/
7η\eta/ˈeɪtə/
8θ\thetaΘ\Thetaϑ、Θ\vartheta、\varTheta/ˈθiːtə/
9ι\iota/aɪˈoʊtə/
10κ\kappaϰ\varkappa/ˈkæpə/
11λ\lambdaΛ\LambdaΛ\varLambda/ˈlæmdə/
12μ\mu/mjuː/
13ν\nu/njuː/
14ξ\xiΞ\XiΞ\varXi/zaɪ, ksaɪ/
15ooOO/ˈɒmɪkrɒn/
16π\piΠ\Piϖ、Π\varpi、\varPi/paɪ/
17ρ\rhoϱ\varrho/roʊ/
18σ\sigmaΣ\Sigmaς、Σ\varsigma、\varSigma/ˈsɪɡmə/
19τ\tau/taʊ, tɔː/
20υ\upsilonΥ\UpsilonΥ\varUpsilon/ˈʌpsɪlɒn/
21ϕ\phiΦ\Phiφ、Φ\varphi、\varPhi/faɪ/
22χ\chi/kaɪ/
23ψ\psiΨ\PsiΨ\varPsi/psaɪ/
24ω\omegaΩ\OmegaΩ\varOmega/oʊˈmeɪɡə/
25ϝ\digamma/daɪ’gæmə/

希伯来字母

序号符号LaTeX英文序号符号LaTeX英文
1ℵ\alephaleph3ℷ\gimelgimel
2ℶ\bethbeth4ℸ\dalethdaleth

二元运算符

序号符号LaTeX序号符号LaTeX
1++20∙\bullet
2−-21⊕\oplus
3×\times22⊖\ominus
4÷\div23⊙\odot
5±\pm24⊘\oslash
6∓\mp25⊗\otimes
7◃\triangleleft26◯\bigcirc
8▹\triangleright27⋄\diamond
9⋅\cdot28⊎\uplus
10∖\setminus29△\bigtriangleup
11⋆\star30▽\bigtriangledown
12∗\ast31⊲\lhd
13∪\cup32⊳\rhd
14∩\cap33⊴\unlhd
15⊔\sqcup34⊵\unrhd
16⊓\sqcap35⨿\amalg
17∨\vee36≀\wr
18∧\wedge37†\dagger
19∘\circ38‡\ddagger

二元关系符

序号符号LaTeX序号符号LaTeX
1==49⪈\gneq
2≠\ne50≧\geqq
3≠\neq51≱\ngeq
4≡\equiv52≱\ngeqq
5≢\not\equiv53≩\gneqq
6≐\doteq54≩\gvertneqq
7≑\doteqdot55≶\lessgtr
8=def\overset{\underset{\mathrm{def}}{}}{=}56⋚\lesseqgtr
9:=:=57⪋\lesseqqgtr
10∼\sim58≷\gtrless
11≁\nsim59⋛\gtreqless
12∽\backsim60⪌\gtreqqless
13∼\thicksim61⩽\leqslant
14≃\simeq62⪇\nleqslant
15⋍\backsimeq63⪕\eqslantless
16≂\eqsim64⩾\geqslant
17≅\cong65⪈\ngeqslant
18≇\ncong66⪖\eqslantgtr
19≈\approx67≲\lesssim
20≈\thickapprox68⋦\lnsim
21≊\approxeq69⪅\lessapprox
22≍\asymp70⪉\lnapprox
23∝\propto71≳\gtrsim
24∝\varpropto72⋧\gnsim
25<<73⪆\gtrapprox
26≮\nless74⪊\gnapprox
27≪\ll75≺\prec
28≪̸\not\ll76⊀\nprec
29⋘\lll77⪯\preceq
30⋘̸\not\lll78⋠\npreceq
31⋖\lessdot79⪵\precneqq
32>>80≻\succ
33≯\ngtr81⊁\nsucc
34≫\gg82⪰\succeq
35≫̸\not\gg83⋡\nsucceq
36⋙\ggg84⪶\succneqq
37⋙̸\not\ggg85≼\preccurlyeq
38⋗\gtrdot86⋞\curlyeqprec
39≤\le87≽\succcurlyeq
40≤\leq88⋟\curlyeqsucc
41⪇\lneq89≾\precsim
42≦\leqq90⋨\precnsim
43≰\nleq91⪷\precapprox
44≰\nleqq92⪹\precnapprox
45≨\lneqq93≿\succsim
46≨\lvertneqq94⋩\succnsim
47≥\ge95⪸\succapprox
48≥\geq96⪺\succnapprox

几何符号

序号符号LaTeX序号符号LaTeX
1∥\parallel14◊\lozenge
2∦\nparallel15⧫\blacklozenge
3∥\shortparallel16★\bigstar
4∦\nshortparallel17◯\bigcirc
5⊥\perp18△\triangle
6∠\angle19△\bigtriangleup
7∢\sphericalangle20▽\bigtriangledown
8∡\measuredangle21△\vartriangle
945∘45^\circ22▽\triangledown
10◻\Box23▴\blacktriangle
11◼\blacksquare24▾\blacktriangledown
12⋄\diamond25◂\blacktriangleleft
13◊◊\Diamond \lozenge26▸\blacktriangleright

逻辑符号

序号符号LaTeX序号符号LaTeX
1∀\forall20¬\neg
2∃\exists21⧸R\not\operatorname{R}
3∄\nexists22⊥\bot
4∴\therefore23⊤\top
5∵\because24⊢\vdash
6&\And25⊣\dashv
7∨\lor26⊨\vDash
8∨\vee27⊩\Vdash
9⋎\curlyvee28⊨\models
10⋁\bigvee29⊪\Vvdash
11∧\land30⊬\nvdash
12∧\wedge31⊮\nVdash
13⋏\curlywedge32⊭\nvDash
14⋀\bigwedge33⊯\nVDash
15q¯\bar{q}34⌜\ulcorner
16abc¯\bar{abc}35⌝\urcorner
17q―\overline{q}36⌞\llcorner
18abc―\overline{abc}37⌟\lrcorner
19¬\lnot

集合符号

序号符号LaTeX序号符号LaTeX
1{}\{ \}23⊏\sqsubset
2∅\emptyset24⊃\supset
3∅\varnothing25⋑\Supset
4∈\in26⊐\sqsupset
5∉\notin27⊆\subseteq
6∋\ni28⊈\nsubseteq
7∩\cap29⊊\subsetneq
8⋒\Cap30⊊\varsubsetneq
9⊓\sqcap31⊑\sqsubseteq
10⋂\bigcap32⊇\supseteq
11∪\cup33⊉\nsupseteq
12⋓\Cup34⊋\supsetneq
13⊔\sqcup35⊋\varsupsetneq
14⋃\bigcup36⊒\sqsupseteq
15⨆\bigsqcup37⫅\subseteqq
16⊎\uplus38⊈\nsubseteqq
17⨄\biguplus39⫋\subsetneqq
18∖\setminus40⫋\varsubsetneqq
19∖\smallsetminus41⫆\supseteqq
20×\times42⊉\nsupseteqq
21⊂\subset43⫌\supsetneqq
22⋐\Subset44⫌\varsupsetneqq

箭头符号

序号符号LaTeX序号符号LaTeX
1⇛\Rrightarrow36⟼\longmapsto
2⇚\Lleftarrow37⇀\rightharpoonup
3⇒\Rightarrow38⇁\rightharpoondown
4⇏\nRightarrow39↼\leftharpoonup
5⟹\Longrightarrow40↽\leftharpoondown
6⟹\implies41↿\upharpoonleft
7⇐\Leftarrow42↾\upharpoonright
8⇍\nLeftarrow43⇃\downharpoonleft
9⟸\Longleftarrow44⇂\downharpoonright
10⇔\Leftrightarrow45⇌\rightleftharpoons
11⇎\nLeftrightarrow46⇋\leftrightharpoons
12⟺\Longleftrightarrow47↶\curvearrowleft
13⟺\iff48↺\circlearrowleft
14⇑\Uparrow49↰\Lsh
15⇓\Downarrow50⇈\upuparrows
16⇕\Updownarrow51⇉\rightrightarrows
17→\rightarrow52⇄\rightleftarrows
18→\to53↣\rightarrowtail
19↛\nrightarrow54↬\looparrowright
20⟶\longrightarrow55↷\curvearrowright
21←\leftarrow56↻\circlearrowright
22←\gets57↱\Rsh
23↚\nleftarrow58⇊\downdownarrows
24⟵\longleftarrow59⇇\leftleftarrows
25↔\leftrightarrow60⇆\leftrightarrows
26↮\nleftrightarrow61↢\leftarrowtail
27⟷\longleftrightarrow62↫\looparrowleft
28↑\uparrow63↪\hookrightarrow
29↓\downarrow64↩\hookleftarrow
30↕\updownarrow65⊸\multimap
31↗\nearrow66↭\leftrightsquigarrow
32↙\swarrow67⇝\rightsquigarrow
33↖\nwarrow68↠\twoheadrightarrow
34↘\searrow69↞\twoheadleftarrow
35↦\mapsto

特殊符号

序号符号LaTeX序号符号LaTeX
1∞\infty33♭\flat
2ℵ\aleph34♮\natural
3∁\complement35♯\sharp
4∍\backepsilon36╱\diagup
5ð\eth37╲\diagdown
6Ⅎ\Finv38⋅\centerdot
7ℏ\hbar39⋉\ltimes
8ℑ\Im40⋊\rtimes
9ı\imath41⋋\leftthreetimes
10ȷ\jmath42⋌\rightthreetimes
11𝕜k\Bbbk43≖\eqcirc
12ℓ\ell44≗\circeq
13℧\mho45≜\triangleq
14℘\wp46≏\bumpeq
15ℜ\Re47≎\Bumpeq
16Ⓢ\circledS48≑\doteqdot
17⨿\amalg49≓\risingdotseq
18%\%50≒\fallingdotseq
19†\dagger51⊺\intercal
20‡\ddagger52⊼\barwedge
21…\ldots53⊻\veebar
22⋯\cdots54⩞\doublebarwedge
23⌣\smile55≬\between
24⌢\frown56⋔\pitchfork
25≀\wr57⊲\vartriangleleft
26◃\triangleleft58⋪\ntriangleleft
27▹\triangleright59⊳\vartriangleright
28♢\diamondsuit60⋫\ntriangleright
29♡\heartsuit61⊴\trianglelefteq
30♣\clubsuit62⋬\ntrianglelefteq
31♠\spadesuit63⊵\trianglerighteq
32⅁\Game64⋭\ntrianglerighteq

分数

类型符号LaTeX
分数24x=0.5xor24x=0.5x\frac{2}{4}x=0.5x or {2 \over 4}x=0.5x
小型分数24x=0.5x\tfrac{2}{4}x = 0.5x
大型分数 (不嵌套)24=0.52c+2d+24=a\dfrac{2}{4} = 0.5 \qquad \dfrac{2}{c + \dfrac{2}{d + \dfrac{2}{4}}} = a
大型分数 (嵌套)2c+2d+24=a\cfrac{2}{c + \cfrac{2}{d + \cfrac{2}{4}}} = a

数值函数

符号LaTeX
expa⁡b=ab,exp⁡b=eb,10m\exp_a b = a^b, \exp b = e^b, 10^m
ln⁡c,lg⁡d=log⁡e,log10⁡f\ln c, \lg d = \log e, \log_{10} f
sin⁡a,cos⁡b,tan⁡c,cot⁡d,sec⁡e,csc⁡f\sin a, \cos b, \tan c, \cot d, \sec e, \csc f
arcsin⁡a,arccos⁡b,arctan⁡c\arcsin a, \arccos b, \arctan c
arccot⁡d,arcsec⁡e,arccsc⁡f\operatorname{arccot} d, \operatorname{arcsec} e, \operatorname{arccsc} f
sinh⁡a,cosh⁡b,tanh⁡c,coth⁡d\sinh a, \cosh b, \tanh c, \coth d
sh⁡k,ch⁡l,th⁡m,coth⁡n\operatorname{sh}k, \operatorname{ch}l, \operatorname{th}m, \operatorname{coth}n
argsh⁡o,argch⁡p,argth⁡q\operatorname{argsh}o, \operatorname{argch}p, \operatorname{argth}q
sgn⁡r,|s|\operatorname{sgn}r, \left\vert s \right\vert
min(x,y),max(x,y)\min(x,y), \max(x,y)

如果需要使用特殊的函数符号,那么可以采用 \operatorname{} 命令进行自定义:

符号LaTeX
mydefine⁡x\operatorname{mydefine}x

根式

符号LaTeX符号LaTeX
√\surdπn\sqrt[n]{\pi}
π\sqrt{\pi}x3+y323\sqrt[3]{\frac{x^3+y^3}{2}}*_

微分与导数

符号LaTeX
dt,dt,∂t,∇ψdt, \mathrm{d}t, \partial t, \nabla\psi
dy/dx,dy/dx,dydx,dydx,∂2∂x1∂x2ydy/dx, \mathrm{d}y/\mathrm{d}x, \frac{dy}{dx}, \frac{\mathrm{d}y}{\mathrm{d}x}, \frac{\partial^2}{\partial x_1\partial x_2}y
′,‵,f′,f′,f″,f(3),y˙,y¨\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y

模运算

符号LaTeX
sk≡0(modm)s_k \equiv 0 \pmod{m}
amodba \bmod b
gcd(m,n),lcm⁡(m,n)\gcd(m, n), \operatorname{lcm}(m, n)
∣,∤,∣,∤\mid, \nmid, \shortmid, \nshortmid

极限

符号LaTeX
limn→∞xn\lim_{n \to \infty}x_n
limn→∞xn\textstyle \lim_{n \to \infty}x_n

范围与预测

符号LaTeX
minx,maxy,infs,supt\min x, \max y, \inf s, \sup t
limu,lim infv,lim supw\lim u, \liminf v, \limsup w
dim⁡p,deg⁡q,detm,ker⁡ϕ\dim p, \deg q, \det m, \ker\phi
Prj,hom⁡l,‖z‖,arg⁡z\Pr j, \hom l, \lVert z \rVert, \arg z

积分

符号LaTeX
∫13e3/xx2dx\int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx
∫13e3/xx2dx\int_{1}^{3}\frac{e^3/x}{x^2}\, dx
∫−NNexdx\textstyle \int\limits_{-N}^{N} e^x dx
∫−NNexdx\textstyle \int_{-N}^{N} e^x dx
∬Ddxdy\iint\limits_D dx\,dy
∭Edxdydz\iiint\limits_E dx\,dy\,dz
⨌Fdxdydzdt\iiiint\limits_F dx\,dy\,dz\,dt
∫(x,y)∈Cx3dx+4y2dy\int_{(x,y)\in C} x^3\, dx + 4y^2\, dy
∮(x,y)∈Cx3dx+4y2dy\oint_{(x,y)\in C} x^3\, dx + 4y^2\, dy

注意:积分符号采用 \int\_{}^{} 命令调用,双重积分符号采用 \iint\_{}^{},以此类推,最高可以支持四重积分。

曲线积分可以使用 \oint 命令调用,但是 MathJax 并不支持该语法,因此在开启了 Unicode 扩展的前提下,可以改为采用 \unicode{} 命令调用:

符号LaTeX描述
∯∯∯∯C\unicode{8751} \unicode{x222F}_C曲面积分符号的 Unicode 码十进制为 8751,十六进制为 x222F;
∰∰∰∰C\unicode{8752} \unicode{x2230}_C三维曲面积分符号的 Unicode 码十进制为 8752,十六进制为 x2230;
∱∱∲∲∳∳∱∱c∲∲c∳∳c\unicode{8753} \unicode{x2231}_c \unicode{8754} \unicode{x2232}_c \unicode{8755} \unicode{x2233}_c其它积分符号;

大型运算符

分类符号LaTeX符号LaTeX
求和∑ab\sum_{a}^{b}∑ab\textstyle \sum_{a}^{b}
连乘积∏ab\prod_{a}^{b}∏ab\textstyle \prod_{a}^{b}
余积∐ab\coprod_{a}^{b}∐ab\textstyle \coprod_{a}^{b}
并集⋃ab\bigcup_{a}^{b}⋃ab\textstyle \bigcup_{a}^{b}
交集⋂ab\bigcap_{a}^{b}⋂ab\textstyle \bigcap_{a}^{b}
析取⋁ab\bigvee_{a}^{b}⋁ab\textstyle \bigvee_{a}^{b}
合取⋀ab\bigwedge_{a}^{b}⋀ab\textstyle \bigwedge_{a}^{b}

上下标

类型符号代码
上标a2 ax+3a^2 a^{x+3}
下标a2a_2
组合1030a2+2 ai,jbf′10^{30} a^{2+2} a{i,j} b{f'}
上下标混合x23 x23x_2^3 {x_2}^3
上标的上标1010810^{10^{8}}
混合标识X⁡12X⁡34ab 12!Ω34\sideset{1^2}{3^4}X_a^b {}_1^2!\Omega_3^4
顶标底标ωα ωα ωγα ωα\overset{\alpha}{\omega} \underset{\alpha}{\omega} \overset{\alpha}{\underset{\gamma}{\omega}} \stackrel{\alpha}{\omega}
导数x′,y″,f′,f″ x′,y′′x', y'', f', f'' x^\prime, y^{\prime\prime}
导数点x˙,x¨\dot{x}, \ddot{x}
上下划线与向量a^ b¯ c→ ab→ cd← def^ ghi― jkl―\hat a \ \bar b \ \vec c \overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f} \overline{g h i} \ \underline{j k l}
弧度AB⌢\overset{\frown} {AB}
箭头A←n+μ−1B→Tn±i−1CA \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C
大括号1+2+⋯+100⏞5050\overbrace{ 1+2+\cdots+100 }^{5050}
底部大括号a+b+⋯+z⏟26\underbrace{ a+b+\cdots+z }_{26}
求和运算∑k=1Nk2\sum_{k=1}^N k^2
文本模式下的求和运算∑k=1Nk2\textstyle \sum_{k=1}^N k^2
分式中的求和运算∑k=1Nk2a\frac{\sum_{k=1}^N k^2}{a}
分式中的求和运算∑k=1Nk2a\frac{\displaystyle \sum_{k=1}^N k^2}{a}
分式中的求和运算∑k=1Nk2a\frac{\sum\limits^{^N}_{k=1} k^2}{a}
乘积运算∏i=1Nxi\prod_{i=1}^N x_i
乘积运算∏i=1Nxi\textstyle \prod_{i=1}^N x_i
副乘运算∐i=1Nxi\coprod_{i=1}^N x_i
副乘运算∐i=1Nxi\textstyle \coprod_{i=1}^N x_i
极限limn→∞xn\lim_{n \to \infty}x_n
极限limn→∞xn\textstyle \lim_{n \to \infty}x_n
积分∫13e3/xx2dx\int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx
积分∫13e3/xx2dx\int_{1}^{3}\frac{e^3/x}{x^2}\, dx
积分∫−NNexdx\textstyle \int\limits_{-N}^{N} e^x dx
积分∫−NNexdx\textstyle \int_{-N}^{N} e^x dx
双重积分∬Ddxdy\iint\limits_D dx\,dy
三重积分∭Edxdydz\iiint\limits_E dx\,dy\,dz
四重积分⨌Fdxdydzdt\iiiint\limits_F dx\,dy\,dz\,dt
路径积分∫(x,y)∈Cx3dx+4y2dy\int_{(x,y)\in C} x^3\, dx + 4y^2\, dy
环路积分∮(x,y)∈Cx3dx+4y2dy\oint_{(x,y)\in C} x^3\, dx + 4y^2\, dy
交集⋂i=1nEi\bigcap_{i=1}^n E_i
并集⋃i=1nEi\bigcup_{i=1}^n E_i

二项式系数

类型符号LaTeX
二项式系数(nk)\binom{n}{k}
小型二项式系数(nk)\tbinom{n}{k}
大型二项式系数(nk)\dbinom{n}{k}

矩阵

$$ \begin{matrix} x & y \ z & v \end{matrix} $$

\begin{matrix}
x & y \\
z & v
\end{matrix}

$$ \begin{vmatrix} x & y \ z & v \end{vmatrix}

$$

\begin{vmatrix}
x & y \\
z & v
\end{vmatrix}
维护与整理 · Yihui在 GitHub 上编辑

继续阅读

浏览全部文章