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

字母符号

A\Alpha \Alpha α\alpha \alpha T\Tau \Tau τ\tau \tau
B\Beta \Beta β\beta \beta Υ\Upsilon \Upsilon υ\upsilon \upsilon
Γ\Gamma \Gamma γ\gamma \gamma Φ\Phi \Phi ϕ\phi \phi
Δ\Delta \Delta δ\delta \delta X\Chi \Chi χ\chi \chi
E\Epsilon \Epsilon ϵ\epsilon \epsilon Ψ\Psi \Psi ψ\psi \psi
Z\Zeta \Zeta ζ\zeta \zeta Ω\Omega \Omega ω\omega \omega
H\Eta \Eta η\eta \eta Π\varPi \varPi ϖ\varpi \varpi
Θ\Theta \Theta θ\theta \theta Σ\varSigma \varSigma ς\varsigma \varsigma
I\Iota \Iota ι\iota \iota Θ\varTheta \varTheta ϑ\vartheta \vartheta
K\Kappa \Kappa κ\kappa \kappa Φ\varPhi \varPhi φ\varphi \varphi
Λ\Lambda \Lambda λ\lambda \lambda Γ\varGamma \varGamma ε\varepsilon \varepsilon
M\Mu \Mu μ\mu \mu Δ\varDelta \varDelta ϰ\varkappa \varkappa
N\Nu \Nu ν\nu \nu Λ\varLambda \varLambda ϑ\thetasym \thetasym
Ξ\Xi \Xi ξ\xi \xi Ξ\varXi \varXi ϱ\varrho \varrho
O\Omicron \Omicron ο\omicron \omicron Υ\varUpsilon \varUpsilon ϝ\digamma \digamma
Π\Pi \Pi π\pi \pi Ψ\varPsi \varPsi ı\imath \imath
P\Rho \Rho ρ\rho \rho Ω\varOmega \varOmega ȷ\jmath \jmath
Σ\Sigma \Sigma σ\sigma \sigma \mho \mho \ell \ell
\wp \wp;\weierp \aleph \aleph \Game \Game k\Bbbk \Bbbk
\alef \alef \Finv \Finv A˚\text{\AA} \text{\AA} a˚\text{\aa} \text{\aa}
\beth \beth \gimel \gimel \daleth \daleth ð\eth \eth
\hbar \hbar \hslash \hslash Æ\text{\AE} \text{\AE} œ\text{\oe} \text{\oe}
常用标记 定义 Latex
a˘\breve{a} \breve{a}
aˇ;acˇ\check{a};\widecheck{ac} \check{a};\widecheck{ac}
a~;ac~;AB~\tilde{a};\widetilde{ac};\utilde{AB} 波浪 \tilde{a};\widetilde{ac};\utilde{AB}
aˊ\acute{a} \acute{a}
aˋ\grave{a} \grave{a}
ana_n 下标 a_n
a^\hat a 帽子 \hat a
aˉ\bar a 短线 \bar a

运算符

二元运算 定义 Latex
== 等于 =
\approx 约等于 \approx
\propto 正比于 \propto
++ +
- -
±;\pm; \mp \pm; \mp
×\times \times
\cdot 点乘 \cdot; \centerdot
* 卷积 *;\ast
÷;/\div; / \div; /
<< 小于 <;\lt
>> 大于 >;\gt
;\ll;\lll 远小于 \ll\lll
;\gg;\ggg 远大于 \gg;\ggg
;\geqslant;\ge 大于等于 \geqslant\ge
;\leqslant;\le 小于等于 \leqslant;\le
;∉\not=;\not\in 前方加\not否定 \not=;\not\in
&\& \&
\mid \mid
ba\dfrac{b}{a} 分数 \frac{b}{a}; \dfrac{b}{a}
a1+1b\cfrac{a}{1 + \cfrac{1}{b}} 复合分式 \cfrac{a}{1+\cfrac{1}{b}}
fgf \circ g 复合函数 f \circ g
一元运算 定义 Latex
a\vert a \vert 绝对值 \vert; \
a\|a\| 范数 \Vert; \
a\lceil a\rceil ceiling \lceil a\rceil
a\lfloor a\rfloor floor \lfloor a\rfloor
a\lfloor a\rceil 最接近的整数 \lfloor a\rceil
ana^n 指数 a^n
x;xn\sqrt{x}; \sqrt[n]{x} 开方 \sqrt{x}; \sqrt[n]{x}
aˉ;a+bi\bar{a};\overline{a+bi} 共轭 \bar{a}; \overline{a+bi}
\lmoustache\rmoustache 胡须 \lmoustache\rmoustache
\ulcorner \urcorner \ulcorner\urcorner
\llcorner\lrcorner \llcorner\lrcorner
;;\uparrow;\downarrow;\updownarrow \uparrow;\downarrow;\updownarrow
;;\Uparrow;\Downarrow;\Updownarrow \uparrow;\downarrow;\updownarrow
多元运算 定义 Latex 示例
\sum 求和 \sum
\prod 求积 \prod
\bigcap 交集 \bigcap
\bigcup 并集 \bigcup
⨿\amalg 合并 \amalg

括号

\left(\LARGE{AB}\right)

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

( \big( \Big( \bigg( \Bigg(

(((((( \big( \Big( \bigg( \Bigg(

逻辑符号

符号 定义 Latex
\because 因为 \because
\therefore 所以 \therefore
¬;\neg;\sim 逻辑非 \neg; \lnot; \sim
\land 逻辑与 \land
\lor 逻辑或 \lor
;\oplus; \veebar 异或 \oplus; \veebar
    ;\iff; \leftrightarrow 等价,当且仅当(if and only if) \iff; \leftrightarrow
;\Rarr; \rarr 条件运算,if … then \Rarr; \rarr ;\to
    ;    \implies; \impliedby \implies; \impliedby
;\Larr; \larr 左箭头 \Larr; \larr; \gets
:=:= 定义 :=
\triangleq 定义 \triangleq
\forall 任意 \forall
\exists 存在 \exists
!\exists! 唯一存在 \exists!
\vDash 满足符 \vDash
\vdash 推断出 \vdash
\square 拟态词必然 \square
\Diamond 拟态词可能 \Diamond
堆叠 定义 Latex
=!\stackrel{!}{=} 堆叠 \stackrel{!}{=}
=!\overset{!}{=} 上方 \overset{!}{=}
=!\underset{!}{=} 下方 \underset{!}{=}
aba \atop b a \atop b
abca\raisebox{0.25em}{b}c a\raisebox{0.25em}{b}c

注释

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

\tag{hi} x+y^{2x}

x+y2x(hi)x+y^{2x} \tag{hi}

\tag*{hi} x+y^{2x}

x+y2xhix+y^{2x}\tag*{hi}

\left.\begin{bmatrix}a & b \\ c & d\end{bmatrix}\right\}rows

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

集合和映射

符号 定义 Latex
{xx<5}\{x\mid x<5\} 集合 \{x\mid x<5\}
\set{x\mid x<5} 集合 \set{x\mid x<5}
U˚\mathring{U} 邻域 \mathring{U}
\uplus 多重集 \uplus
\subset 真子集 \subset
\subseteq 子集 \subseteq
\supset 真父集 \supset
\supseteq 父集 \supseteq
\in 属于 \in
\ni 属于 \ni
\cap 交集 \cap
\cup 并集 \cup
\setminus 差集 \setminus
card(A)\mathrm{card}(A) 元素个数 \mathrm{card}(A)
;\emptyset; \varnothing 空集 \emptyset; \varnothing
N\N 自然数 \N
Z\Z 整数 \Z
R;\R;\Re 实数 \R;\Reals;\Re
\Im 虚数 \Im; \Image
C\Complex 复数 \Complex
n!n! 阶乘 n!
(nk)\binom{n}{k}, [nk]{n\brack k} 组合 \binom{n}{k}; \dbinom{n}{k};
{n \choose k}; n\brack k
{nk}{n\brace k} {n\brace k}
AnkA^k_n 排列 A^n_m
nk\complement^k_n 组合 \complement^n_m
\mapsto 映射 \mapsto
over\xmapsto{over} 条件映射 \xmapsto{over}
underover\xrightarrow[under]{over} 条件映射 \xrightarrow[under]{over}

几何

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

函数

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

微积分

符号 定义 Latex
\to 趋向于 \to
\gets \gets
\infty 无穷大 \infty
limx0\lim\limits_{x\to 0} 极限 \lim\limits_{x\to 0}
x˙\dot{x} 导数 \dot{x}
x¨\ddot{x} 二阶导 \ddot{x}
xx' 导数 x’; x^\prime
xx'' 二阶导 x’’
x(n)x^{(n)} n阶导 x^{(n)}
x\partial x 偏导数 \partial x
dx\mathrm{d}x 微分 \mathrm{d}x
\int 积分 \int
\iint 积分 \iint
\iiint 积分 \iiint
\oint 积分 \oint
\oiint 积分 \oiint
\oiiint 积分 \oiiint
\nabla 微分算子 \nabla
Δ\Delta 拉普拉斯算子 \Delta
\Box 非欧拉普拉斯算子 \Box
grad\mathrm{grad} 梯度 \mathrm{grad}
\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

Ω(Px+Qy+Rz)dV=ΣPdydz+Qdxdz+Rdxdy\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

线性代数

表示 定义 Latex
a\mathbf{a} 向量(粗体) \mathbf{a}
AA 矩阵(大写) A
T\overleftrightarrow{T} 张量 \overleftrightarrow{T}
AB\underleftrightarrow{AB} \underleftrightarrow{AB}
T\mathcal{T} 张量(花体) \mathcal{T}
f(x)={aif bcif df(x)=\begin{cases} a &\text{if } b \\ c &\text{if } d \end{cases} 定义方程 f(x)=\begin{cases}
a &\text{if } b \\
c &\text{if } d
\end{cases}
10x+3y=23x+13y=4\begin{alignedat}{2} 10&x+ &3&y = 2 \\ 3&x+&13&y = 4 \end{alignedat} 方程组 \begin{alignedat}{2}
10&x+ &3&y = 2 \\
3&x+&13&y = 4
\end{alignedat}
f(x)=(m+n)2=m2+2m+n2\begin{aligned} f(x) &=(m+n)^2 \\ & =m^2+2m+n^2 \end{aligned} 多行等式 \begin{aligned}
f(x) &=(m+n)^2 \\
& =m^2+2m+n^2
\end{aligned}
abcd\begin{matrix} a & b \\ c & d\end{matrix} 数组 \begin{matrix}
a & b \\
c & d
\end{matrix}
abcd\begin{array}{cc} a & b \\ c & d\end{array} 数组 \begin{array}{cc}
a & b \\
c & d
\end{array}
(abcd)\begin{pmatrix} a & b \\ c & d\end{pmatrix} 矩阵 \begin{pmatrix}
a & b \\
c & d
\end{pmatrix}
[abcd]\begin{bmatrix} a & b \\ c & d\end{bmatrix} 矩阵 \begin{bmatrix}
a & b \\
c & d
\end{bmatrix}
abcd\begin{vmatrix} a & b \\ c & d\end{vmatrix} 行列式 \begin{vmatrix}
a & b \\
c & d
\end{vmatrix}
abcd\begin{Vmatrix} a & b \\ c & d\end{Vmatrix} 范式 \begin{Vmatrix}
a & b \\
c & d
\end{Vmatrix}
{abcd}\begin{Bmatrix}a & b \\ c & d\end{Bmatrix} 花括号 \begin{Bmatrix}
a & b \\
c & d
\end{Bmatrix}
[abcdefghi]\begin{bmatrix} \begin{array}{c:c:c} a & b & c \\ \hline d & e & f \\ \hdashline g & h & i\end{array}\end{bmatrix} 分块矩阵 \begin{bmatrix}
\begin{array}{c:c:c}
a & b & c \\
\hline
d & e & f \\
\hdashline
g & h & i
\end{array}
\end{bmatrix}
underover\xrightarrow[under]{over} 变换 \xrightarrow[under]{over}
\to 变换 \to
AA^\top 矩阵转置 A^\top
ABA\cong B 矩阵等价 A\cong B
ABA\sim B 矩阵相似 A\sim B
ABA\simeq B 矩阵合同 A\simeq B
Aˉ\bar{A} 增广矩阵 \bar{A}
AA^* 伴随矩阵 A^*
detA;A\det A;\vert A \vert 矩阵的行列式 \det A
diag(1,2,3)\mathrm{diag}(1,2,3) 对角阵 \mathrm{diag}(1,2,3)
ABA\otimes B 克罗内克积 \otimes
dimV\dim V 空间维度 \dim V
bVb\perp V 正交 b \perp B
\wedge 外积 \wedge
tr(A)\text{tr}(A) \text{tr}(A)
spec(A)\text{spec}(A) \text{spec}(A)
\cdots 横点 \cdots
\vdots 竖点 \vdots
\ddots 对角点 \ddots
ψϕ\lang\psi\mid\phi\rang 左矢;右矢 \lang\psi\mid\phi\rang
\bra{\phi} 左矢 \bra{\phi}; \Bra{\phi}
\ket{\psi} 右矢 \ket{\psi}; \Ket{\psi}
\braket{\phi\mid\psi} 狄拉克符号 \braket{\phi\mid\psi}
hom(U,V)\hom(U,V) 线性映射的集合 \hom(U,V)
ker(A)\ker(A) 零空间(核) \ker(A)
span(u,v)\text{span}(u,v) 张成空间 \text{span}(u,v)
\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|c}
1&0 & 0 & 0 \\
0&1 & 0 &0 \\
\hdashline
0&0 & 1 & 5
\end{array}
\end{bmatrix}

(a11a12a1na21a22a2nam1am2amn),[100001000015]\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|c} 1&0 & 0 & 0 \\ 0&1 & 0 &0 \\ \hdashline 0&0 & 1 & 5 \end{array} \end{bmatrix}

现代数学

符号 定义 Latex
gfg \circ f 复合 g \circ f
b(modm)b\pmod m b\pmod m
amodba \bmod b a \bmod b
x(a)x \pod a x \pod a
\equiv 同余关系 \equiv
\gtrdot \gtrdot
\lessdot \lessdot
\intercal 区间 \intercal
\rhd 双方关系对立 \rhd
\lhd 正规子群 \lhd
\unrhd \unrhd
\unlhd \unlhd
\leftthreetimes \leftthreetimes
\rightthreetimes \rightthreetimes
\rtimes \rtimes
\ltimes \ltimes
\prec 卡普可约 \prec
\succ \succ
\mid 因式分解 \mid
\nmid \nmid
gcd\gcd 最大公约数 \gcd
deg\deg 多项式次数 \deg