KaTeX 数学符号列表

---

title: KaTeX 基本数学符号
categories:

• ‘Markup Language’
  tags:
• 标记语言
• 数学
• markdown
• katex
  katex: true
  cover: img/katex.png
  sticky: 1
  abbrlink: b9652820
  date: 2019-04-22 18:37:20

---

KaTeX 是一个快速，易于使用的JavaScript库，用于在Web上进行TeX数学渲染。
KaTeX兼容所有主流浏览器，包括Chrome，Safari，Firefox，Opera，Edge和IE 9-11。
KaTeX支持很多（但不是全部）LaTeX语法和许多LaTeX软件包。

字母符号

$\mathrm{A}$ \Alpha	$\alpha$ \alpha	$\mathrm{T}$ \Tau	$\tau$ \tau
$\mathrm{B}$ \Beta	$\beta$ \beta	${\rm Y}$ \Upsilon	$\upsilon$ \upsilon
$\Gamma$ \Gamma	$\gamma$ \gamma	$\Phi$ \Phi	$\varphi$ \phi
$\Delta$ \Delta	$\delta$ \delta	$\mathrm{X}$ \Chi	$\chi$ \chi
$\mathrm{E}$ \Epsilon	$ϵ$ \epsilon	$\Psi$ \Psi	$\psi$ \psi
$\mathrm{Z}$ \Zeta	$\zeta$ \zeta	$\Omega$ \Omega	$\omega$ \omega
$\mathrm{H}$ \Eta	$\eta$ \eta	$\Pi$ \varPi	$\varpi$ \varpi
$\Theta$ \Theta	$\theta$ \theta	$\Sigma$ \varSigma	$\varsigma$ \varsigma
$\mathrm{I}$ \Iota	$\iota$ \iota	$\Theta$ \varTheta	$\vartheta$ \vartheta
$\mathrm{K}$ \Kappa	$\kappa$ \kappa	$\Phi$ \varPhi	$\phi$ \varphi
$\Lambda$ \Lambda	$\lambda$ \lambda	$\Gamma$ \varGamma	$\epsilon$ \varepsilon
$\mathrm{M}$ \Mu	$\mu$ \mu	$\Delta$ \varDelta	$\varkappa$ \varkappa
$\mathrm{N}$ \Nu	$\nu$ \nu	$\Lambda$ \varLambda	$\vartheta$ \thetasym
$\Xi$ \Xi	$\xi$ \xi	$\Xi$ \varXi	$\varrho$ \varrho
$\mathrm{O}$ \Omicron	$o$ \omicron	${\rm Y}$ \varUpsilon	$ϝ$ \digamma
$\Pi$ \Pi	$\pi$ \pi	$\Psi$ \varPsi	$ı$ \imath
$\mathrm{P}$ \Rho	$\rho$ \rho	$\Omega$ \varOmega	$ȷ$ \jmath
$\Sigma$ \Sigma	$\sigma$ \sigma	$\mho$ \mho	$\ell$ \ell

$\wp$ \wp;\weierp	$\aleph$ \aleph	$⅁$ \Game	$\mathbb{k}$ \Bbbk
$\aleph$ \alef	$Ⅎ$ \Finv	$\text{A˚}$ \text{\AA}	$\text{a˚}$ \text{\aa}
$\beth$ \beth	$\gimel$ \gimel	$\daleth$ \daleth	$ð$ \eth
$\hslash$ \hbar	$\hslash$ \hslash	$\text{Æ}$ \text{\AE}	$\text{œ}$ \text{\oe}

常用标记	定义	Latex
$\breve{a}$		\breve{a}
$\check{a};ac$		\check{a};\widecheck{ac}
$\tilde{a};ac;AB$	波浪	\tilde{a};\widetilde{ac};\utilde{AB}
$\acute{a}$		\acute{a}
$\grave{a}$		\grave{a}
$a_n$	下标	a_n
$\hat{a}$	帽子	\hat a
$\bar{a}$	短线	\bar a

运算符

二元运算	定义	Latex
$=$	等于	=
$\approx$	约等于	\approx
$\propto$	正比于	\propto
$+$	加	+
$-$	减	-
$\pm ;\mp$		\pm; \mp
$\times$	乘	\times
$\cdot$	点乘	\cdot; \centerdot
$\ast$		*;\ast
$÷;/$	除	\div; /
$<$	小于	<;\lt
$>$	大于	>;\gt
$\ll ;⋘$	远小于	\ll\lll
$\gg ;⋙$	远大于	\gg;\ggg
$⩾;\ge$	大于等于	\geqslant\ge
$⩽;\le$	小于等于	\leqslant;\le
$\ne ;\notin$	前方加\not否定	\not=;\not\in
$\frac{b}{a}$	分数	\frac{b}{a}; \dfrac{b}{a}
$\frac{a}{1+\frac{1}{b}}$	复合分式	\cfrac{a}{1 + \cfrac{1}{b}}
$f\circ g$	复合函数	f \circ g

一元运算	定义	Latex	示例
$\mid a\mid$	绝对值	\vert; \mid; `	`;\vert; \rvert
$|a|$	范数，模	\Vert; |; \lVert\ ;rVert
$\lceil a\rceil$	ceiling	\lceil a\rceil
$\lfloor a\rfloor$	floor	\lfloor a\rfloor	⌊2.1⌋ = 2
$\lfloor a\rceil$	最接近的整数	\lfloor a\rceil	⌊2.6⌉ = 3
$a^n$	指数	a^n
$\sqrt{x};\sqrt[n]{x}$	开方	\sqrt{x}; \sqrt[n]{x}
$\bar{a};\overline{a+bi}$	共轭	\bar{a}; \overline{a+bi}
$⎰⎱$	胡须	\lmoustache\rmoustache
$┌┐$		\ulcorner\urcorner
$└┘$		\llcorner\lrcorner
$\uparrow ;\downarrow ;\updownarrow$		\uparrow;\downarrow;\updownarrow
$\Uparrow ;\Downarrow ;\Updownarrow$		\uparrow;\downarrow;\updownarrow

多元运算	定义	Latex	示例
$\sum$	求和	\sum
$\prod$	求积	\prod
$\bigcap$	交集	\bigcap
$\bigcup$	并集	\bigcup
$⨿$	合并	\amalg

括号

\left(\LARGE{AB}\right)
$$\left(AB\right)$$

( \big( \Big( \bigg( \Bigg(
$$((\left(\right(($$

逻辑符号

符号	定义	Latex	示例
$\because$	因为	\because
$\therefore$	所以	\therefore
$\neg ;\sim$	逻辑非	\neg; \lnot; \sim	$\neg (\neg A)⟺A$
$\wedge$	逻辑与	\land	n < 4 ∧ n > 2 ⇔ n = 3 when n is a natural number.
$\vee$	逻辑或	\lor	n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 when n is a natural number.
$\oplus ;⊻$	异或	\oplus; \veebar	$a\oplus b=(\neg a\wedge b)\vee (a\wedge \neg b)$
$⟺;\leftrightarrow$	等价，当且仅当(if and only if)	\iff; \leftrightarrow
$\Rightarrow ;\to$	条件运算,if … then	\Rarr; \rarr ;\to	$x=6\Rightarrow x^2=36$
$⟹;⟸$		\implies; \impliedby
$\Leftarrow ;\leftarrow$	左箭头	\Larr; \larr; \gets
$:=$	定义	:=
$\triangleq$	定义	\triangleq
$\forall$	任意	\forall	∀ n ∈ ℕ, n2 ≥ n
$\exists$	存在	\exists	∃ n ∈ ℕ: n is even
$\exists !$	唯一存在	\exists!	∃! n ∈ ℕ: n + 5 = 2n.
$\models$	满足符	\vDash	$A\models B$
$⊢$	推断出	\vdash	A → B ⊢ ¬B → ¬A
$\square$	拟态词必然	\square
$◊$	拟态词可能	\Diamond

堆叠	定义	Latex
$\stackrel{!}{=}$	堆叠	\stackrel{!}{=}
$\stackrel{!}{=}$	上方	\overset{!}{=}
$\underset{!}{=}$	下方	\underset{!}{=}
$\genfrac{}{}{0ex}{}{a}{b}$		a \atop b
$abc$		a\raisebox{0.25em}{b}c

注释

符号	定义	Latex
$\text{§}$	分节	\text{\sect}
$\star$	星号	\star
$5$	左划线	\cancel{5}
$5$	右划线	\bcancel{5}
$abc$	交叉划线	\xcancel{5}
$\sout{5}$	划线	sout{5}
$\boxed{\pi =\frac{c}{d}}$	方框	\boxed{\pi=\frac c d}
$\stackrel{\text{note}}{a+b+c}$	上备注	\overbrace{a+b+c}^{\text{note}}
$\underset{\text{note}}{a+b+c}$	下备注	\underbrace{a+b+c}_{\text{note}}

\tag{hi} x+y^{2x}
$$x+y^{2x}\text{\hspace{1em}(hi)}$$

\tag*{hi} x+y^{2x}
$$x+y^{2x}\text{\hspace{1em}hi}$$

\left.\begin{bmatrix}a & b \\ c & d\end{bmatrix}\right\}rows
$$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]\}\text{2 rows}$$

集合和映射

符号	定义	Latex
$\{x\mid x<5\}$	集合	\{x\mid x<5\}
$\{x\mid x<5\}$	集合	\set{x\mid x<5}
$\mathring{U}$	邻域	\mathring{U}
$\uplus$	多重集	\uplus
$\subset$	真子集	\subset
$\subseteq$	子集	\subseteq
$\supset$	真父集	\supset
$\supseteq$	父集	\supseteq
$\in$	属于	\in
$\ni$	属于	\ni
$\cap$	交集	\cap
$\cup$	并集	\cup
$\setminus$	差集	\setminus
$\mathrm{card}(A)$	元素个数	\mathrm{card}(A)
$\varnothing ;\varnothing$	空集	\emptyset; \varnothing
$\mathbb{N}$	自然数	\N
$\mathbb{Z}$	整数	\Z
$\mathbb{R};\Re$	实数	\R;\Reals;\Re
$\Im$	虚数	\Im; \Image
$\mathbb{C}$	复数	\Complex
$n!$	阶乘	n!
$\left(\genfrac{}{}{0ex}{}{n}{k}\right)$, $\left[\genfrac{}{}{0ex}{}{n}{k}\right]$	组合	\binom{n}{k}; \dbinom{n}{k}; {n \choose k}; n\brack k
$\left\{\genfrac{}{}{0ex}{}{n}{k}\right\}$		{n\brace k}
$A_n^k$	排列	A^n_m
${\complement }_n^k$	组合	\complement^n_m

几何

符号	定义	Latex
$\backsim$	相似三角形	\backsim
$\backsimeq$		\backsimeq
$\stackrel{\backsim }{=}$	全等三角形	\overset{\backsim}{=}
$\parallel$	平行	\parallel
$\nparallel$	不平行	\nparallel
$\perp$	垂直	\bot
$\overline{AB}$	直线	\overline{AB}
$\underline{AB}$		\underline{AB}
$AB$	线段	\overlinesegment{AB}
$AB;AB$		\overgroup{AB};\undergroup{AB}
$AB$		\underlinesegment{AB}
$\stackrel{⌢}{\mathrm{AB}}$	弧	\overset{\frown}{AB}
$\odot$	圆	\odot
$◯$		\bigcirc
$⊡$		\boxdot
$\square$	矩形	\square
$\mathrm{Rt}△$	直角三角形	\mathrm{Rt}\triangle
$◊$	菱形	\Diamond
$\angle$	角	\angle
$\measuredangle$		\measuredangle
$90°$	角度	90\degree
$\hat{ı}$	坐标基	\hat{\imath}
$\hat{ȷ}$	坐标基	\hat{\jmath}
$ac$	向量夹角	\widehat{ac}
$a,AB;ac$	向量	\vec{a},\overrightarrow{AB}; \overrightharpoon{ac}
$AB$		\underrightarrow{AB}
$AB;ac;AB$		\overleftarrow{AB}; \overleftharpoon{ac}; \underleftarrow{AB}
$AB$		\Overrightarrow{AB}

函数

$\arcsin$ \arcsin	$\mathrm{cotg}$ \cotg	$\ln$ \ln	$\det$ \det
$\arccos$ \arccos	$\coth$ \coth	$\log$ \log	$\gcd$ \gcd
$\arctan$ \arctan	$\csc$ \csc	$\sec$ \sec	$\inf$ \inf
$\mathrm{arctg}$ \arctg	$\mathrm{ctg}$ \ctg	$\sin$ \sin	$\lim$ \lim
$\mathrm{arcctg}$ \arcctg	$\mathrm{cth}$ \cth	$\sinh$ \sinh	$\mathrm{liminf}$ \liminf
$\arg$ \arg	$\mathrm{deg}$ \deg	$\mathrm{sh}$ \sh	$\mathrm{limsup}$ \limsup
$\mathrm{ch}$ \ch	$\dim$ \dim	$\tan$ \tan	$\max$ \max
$\cos$ \cos	$\exp$ \exp	$\tanh$ \tanh	$\min$ \min
$\mathrm{cosec}$ \cosec	$\mathrm{hom}$ \hom	$\mathrm{tg}$ \tg	$\mathrm{Pr}$ \Pr
$\cosh$ \cosh	$\ker$ \ker	$\mathrm{th}$ \th	$\sup$ \sup
$\cot$ \cot	$\lg$ \lg	$f$ \operatorname{f}	$\arg \max$ \arg\max
$\arg \min$ \arg\min

微积分

符号	定义	Latex
$\to$	趋向于	\to
$\leftarrow$		\gets
$\infty$	无穷大	\infty
$\underset{x\to 0}{\lim }$	极限	\lim\limits_{x\to 0}
$\dot{x}$	导数	\dot{x}
$\ddot{x}$	二阶导	\ddot{x}
$x^{\prime }$	导数	x’; x^\prime
$x^{\prime \prime }$	二阶导	x’’
$x^{(n)}$	n阶导	x^{(n)}
$\partial x$	偏导数	\partial x
$\mathrm{d}x$	微分	\mathrm{d}x
$\int$	积分	\int
$\iint$	积分	\iint
$\iiint$	积分	\iiint
$\oint$	积分	\oint
$\iint$	积分	\oiint
$\iiint$	积分	\oiiint
$\nabla$	微分算子	\nabla
$\Delta$	拉普拉斯算子	\Delta
$\square$	非欧几里得拉普拉斯算子	\Box

\iiint\limits_{Ω}(\dfrac{∂P}{∂x}+\dfrac{∂Q}{∂y}+\dfrac{∂R}{∂z})\mathrm{d}V=
\oiint\limits_{Σ}P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}x\mathrm{d}z+R\mathrm{d}x\mathrm{d}y

$$\underset{\Omega }{\iiint }(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z})\mathrm{d}V=\underset{\Sigma }{\iint }P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}x\mathrm{d}z+R\mathrm{d}x\mathrm{d}y$$

线性代数

表示	定义	Latex
$\mathbf{a}$	向量（粗体）	\mathbf{a}
$A$	矩阵（大写）	A
$T$	张量	\overleftrightarrow{T}
$AB$		\underleftrightarrow{AB}
$\mathcal{T}$	张量（花体）	\mathcal{T}
$f(x)=\{\begin{array}{ll}a& \text{if }b\\ c& \text{if }d\end{array}$	定义方程	f(x)=\begin{cases} a &\text{if } b \\ c &\text{if } d \end{cases}
$\begin{array}{rlrl}10& x+& 3& y=2\\ 3& x+& 13& y=4\end{array}$	方程组	\begin{alignedat}{2} 10&x+ &3&y = 2 \\ 3&x+&13&y = 4 \end{alignedat}
$\begin{array}{rl}f(x)& =(m+n{)}^2\\ & =m^2+2m+n^2\end{array}$	多行等式	\begin{aligned} f(x) &=(m+n)^2 \\ & =m^2+2m+n^2 \end{aligned}
$\begin{array}{cc}a& b\\ c& d\end{array}$	数组	\begin{matrix} a & b \\ c & d \end{matrix}
$\begin{array}{cc}a& b\\ c& d\end{array}$	数组	\begin{array}{cc} a & b \\ c & d \end{array}
$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$	矩阵	\begin{pmatrix} a & b \\ c & d \end{pmatrix}
$\left[\begin{array}{cc}a& b\\ c& d\end{array}\right]$	矩阵	\begin{bmatrix} a & b \\ c & d \end{bmatrix}
∣ a b c d ∣ \begin{vmatrix} a & b \\ c & d\end{vmatrix} ​ac​bd​ ​	行列式	\begin{vmatrix} a & b \\ c & d \end{vmatrix}
∥ a b c d ∥ \begin{Vmatrix} a & b \\ c & d\end{Vmatrix} ​ac​bd​ ​	范式	\begin{Vmatrix} a & b \\ c & d \end{Vmatrix}
$\left\{\begin{array}{cc}a& b\\ c& d\end{array}\right\}$	花括号	\begin{Bmatrix} a & b \\ c & d \end{Bmatrix}
[ a b c d e f g h i ] \begin{bmatrix} \begin{array}{c:c:c} a & b & c \\ \hline d & e & f \\ \hdashline g & h & i\end{array}\end{bmatrix} ​adg​beh​cfi​​​ ​	分块矩阵	\begin{bmatrix} \begin{array}{c:c:c} a & b & c \\ \hline d & e & f \\ \hdashline g & h & i \end{array} \end{bmatrix}
$\underset{under}{\overset{over}{}}$	变换	\xrightarrow[under]{over}
$\to$	变换	\to
$A^{\top }$	矩阵转置	A^\top
$A\cong B$	矩阵等价	A\cong B
$A\sim B$	矩阵相似	A\sim B
$A\simeq B$	矩阵合同	A\simeq B
$\bar{A}$	增广矩阵	\bar{A}
$A^{\ast }$	伴随矩阵	A^*
$\det A;|A|$	矩阵的行列式	\det A
$\mathrm{diag}(a_1,a_2,a_3)$	对角阵	\mathrm{diag}(a_1,a_2,a_3)
$A\otimes B$	克罗内克积	\otimes
$\cdots$	横点	\cdots
$⋮$	竖点	\vdots
$\ddots$	对角点	\ddots
$⟨\psi \mid \varphi ⟩$	左矢;右矢	\lang\psi\mid\phi\rang
$⟨\varphi |$	左矢	\bra{\phi}; \Bra{\phi}
$|\psi ⟩$	右矢	\ket{\psi}; \Ket{\psi}
$⟨\varphi \mid \psi ⟩$	狄拉克符号	\braket{\phi\mid\psi}

\begin{pmatrix}
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{pmatrix},

\begin{bmatrix} 
\begin{array}{cc:c} 
1&0 & 0 & 0 \\ 
0&1 & 0 &0 \\ 
\hdashline 
0&0 & 1 & 5
\end{array}
\end{bmatrix}

( a 11 a 12 ⋯ a 1 n a 21 a 22 ⋯ a 2 n ⋮ ⋮ ⋱ ⋮ a m 1 a m 2 ⋯ a m n ) , [ 1 0 0 0 0 1 0 0 0 0 1 5 ] \begin{pmatrix} 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{pmatrix}, \quad \begin{bmatrix} \begin{array}{cc:c} 1&0 & 0 & 0 \\ 0&1 & 0 &0 \\ \hdashline 0&0 & 1 & 5 \end{array} \end{bmatrix} ​a11​a21​⋮am1​​a12​a22​⋮am2​​⋯⋯⋱⋯​a1n​a2n​⋮amn​​ ​, ​100​010​001​005​​​ ​

现代数学

符号	定义	Latex	示例
$g\circ f$	复合	g \circ f
$b(\mathrm{mod}m)$		b\pmod m
$a\mathrm{mod}b$		a \bmod b
$x(a)$		x \pod a
$\equiv$	同余关系	\equiv	$a\equiv b(\mathrm{mod}m)$
$⋗$		\gtrdot
$⋖$		\lessdot
$⊺$	区间	\intercal
$⊳$	双方关系对立	\rhd	$R⊳S=R-R⋉S$
$⊲$	正规子群	\lhd	$Z(G)⊲G$
$⊵$		\unrhd
$⊴$		\unlhd
$⋋$		\leftthreetimes
$⋌$		\rightthreetimes
$⋊$		\rtimes
$⋉$		\ltimes
$\prec$	卡普可约	\prec	If L1 ≺ L2 and L2 ∈ P, then L1 ∈ P
$\succ$		\succ
$\mid$	因式分解	\mid	Since 15 = 3 × 5, it is true that 3 | 15 and 5 | 15
$\nmid$		\nmid