Skip to content

KaTeX: Supported function

Author:Anda Toshiki
Updated:3 months ago
Words:3.9k
Reading:24 min

note

This is an direct shameful copy of the documentation pulled from KaTeX documentation, I do not own any of the content below on behalf of this part of the documentation, the table might be outdated as versions migrates, please also refer to KaTeX's official documentation.

This following is a list of TeX functions supported by KaTeX. It is sorted into logical groups.

There is a similar Support Table on the next page, sorted alphabetically in am more intuitive way with the lists both supported and un-supported functions, viewing both tables are suggested comprehensibly and interchangeably is highly suggested.

1: Accents

aa' a'a~\tilde{a} \tilde{a}g˚\mathring{g} \mathring{g}
aa'' a''ac~\widetilde{ac} \widetilde{ac}AB\overgroup{AB} \overgroup{AB}
aa^{\prime} a^{\prime}AB~\utilde{AB} \utilde{AB}AB\undergroup{AB} \undergroup{AB}
aˊ\acute{a} \acute{a}F\vec{F} \vec{F}AB\Overrightarrow{AB} \Overrightarrow{AB}
yˉ\bar{y} \bar{y}AB\overleftarrow{AB} \overleftarrow{AB}AB\overrightarrow{AB} \overrightarrow{AB}
a˘\breve{a} \breve{a}AB\underleftarrow{AB} \underleftarrow{AB}AB\underrightarrow{AB} \underrightarrow{AB}
aˇ\check{a} \check{a}ac\overleftharpoon{ac} \overleftharpoon{ac}ac\overrightharpoon{ac} \overrightharpoon{ac}
a˙\dot{a} \dot{a}AB\overleftrightarrow{AB} \overleftrightarrow{AB}AB\overbrace{AB} \overbrace{AB}
a¨\ddot{a} \ddot{a}AB\underleftrightarrow{AB} \underleftrightarrow{AB}AB\underbrace{AB} \underbrace{AB}
aˋ\grave{a} \grave{a}AB\overline{AB} \overline{AB}ABundefined\overlinesegment{AB} \overlinesegment{AB}
θ^\hat{\theta} \hat{\theta}AB\underline{AB} \underline{AB}ABundefined\underlinesegment{AB} \underlinesegment{AB}
ac^\widehat{ac} \widehat{ac}acˇ\widecheck{ac} \widecheck{ac}

Accent functions inside \text{…}

aˊ\text{\'{a}} \'{a}a˜\text{\~{a}} \~{a}a˙\text{\.{a}} \.{a}a˝\text{\H{a}} \H{a}
aˋ\text{\`{a}} \`{a}aˉ\text{\={a}} \={a}a¨\text{\"{a}} \"{a}aˇ\text{\v{a}} \v{a}
aˆ\text{\^{a}} \^{a}a˘\text{\u{a}} \u{a}a˚\text{\r{a}} \r{a}

See also letters.

2: Delimiters

( )(~) ( )( )\lparen~\rparen \lparen
    ~~~~\rparen
 ⌈~⌉ ⌈ ⌉ \lceil~\rceil \lceil
     ~~~~~\rceil
\uparrow \uparrow
[ ][~] [ ][ ]\lbrack~\rbrack \lbrack
    ~~~~\rbrack
 ⌊~⌋ ⌊ ⌋ \lfloor~\rfloor \lfloor
     ~~~~~\rfloor
\downarrow \downarrow
{}\{ \} \{ \}{}\lbrace \rbrace \lbrace
    ~~~~\rbrace
⎰⎱ ⎰⎱\lmoustache \rmoustache \lmoustache
    ~~~~\rmoustache
\updownarrow \updownarrow
 ⟨~⟩ ⟨ ⟩ \langle~\rangle \langle
    ~~~~\rangle
 ⟮~⟯ ⟮ ⟯ \lgroup~\rgroup \lgroup
     ~~~~~\rgroup
\Uparrow \Uparrow
\vert |\vert \vert┌ ┐ ┌ ┐\ulcorner \urcorner \ulcorner
    ~~~~\urcorner
\Downarrow \Downarrow
\Vert \|\Vert \Vert└ ┘ └ ┘\llcorner \lrcorner \llcorner
    ~~~~\lrcorner
\Updownarrow \Updownarrow
 \lvert~\rvert \lvert
    ~~~~\rvert
 \lVert~\rVert \lVert
     ~~~~~\rVert
\left.\right.\\backslash \backslash
 \lang~\rang \lang
    ~~~~\rang
< >\lt~\gt \lt \gt

Delimiter Sizing

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

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

\left\big\bigl\bigm\bigr
\middle\Big\Bigl\Bigm\Bigr
\right\bigg\biggl\biggm\biggr
\Bigg\Biggl\Biggm\Biggr

3: Environments

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\def\arraystretch{1.5}\begin{array}{c:c:c} a & b & c \\ \hline d & e & f \\ \hdashline g & h & i \end{array}\def\arraystretch{1.5}
   \begin{array}{c:c:c}
   a & b & c \\ \hline
   d & e & f \\
   \hdashline
   g & h & i
\end{array}
a=b+cd+e=f\begin{aligned} a&=b+c \\ d+e&=f \end{aligned}\begin{aligned}
   a&=b+c \\
   d+e&=f
\end{aligned}
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}
a=be=b+c\begin{gathered} a=b \\ e=b+c \end{gathered}\begin{gathered}
   a=b \\
   e=b+c
\end{gathered}
x={aif bcif dx = \begin{cases} a &\text{if } b \\ c &\text{if } d \end{cases}x = \begin{cases}
   a &\text{if } b \\
   c &\text{if } d
\end{cases}

KaTeX also supports darray and dcases.

Acceptable line separators include: \\, \cr, \\[distance], and \cr[distance]. Distance can be written with any of the KaTeX units.

The {array} environment supports | and : vertical separators.

The {array} environment does not yet support \cline or \multicolumn.

4: HTML

\href\href{https://katex.org/}{\KaTeX}\href{https://katex.org/}{\KaTeX}
\url\url{https://katex.org/}\url{https://katex.org/}

5: Letters and Unicode

Greek Letters

Direct Input: ABΓΔEZHΘIKΛMNΞOΠPΣTΥΦXΨΩΑ Β Γ Δ Ε Ζ Η Θ Ι \allowbreak Κ Λ Μ Ν Ξ Ο Π Ρ Σ Τ Υ Φ Χ Ψ Ωαβγδϵζηθικλμνξoπρστυϕχψωεϑϖϱςφ\allowbreak α β γ δ ϵ ζ η θ ι κ λ μ ν ξ o π \allowbreak ρ σ τ υ ϕ χ ψ ω ε ϑ ϖ ϱ ς φ

A\Alpha \AlphaB\Beta \BetaΓ\Gamma \GammaΔ\Delta \Delta
E\Epsilon \EpsilonZ\Zeta \ZetaH\Eta \EtaΘ\Theta \Theta
I\Iota \IotaK\Kappa \KappaΛ\Lambda \LambdaM\Mu \Mu
N\Nu \NuΞ\Xi \XiO\Omicron \OmicronΠ\Pi \Pi
Σ\Sigma \SigmaT\Tau \TauΥ\Upsilon \UpsilonΦ\Phi \Phi
X\Chi \ChiΨ\Psi \PsiΩ\Omega \Omega
Γ\varGamma \varGammaΔ\varDelta \varDeltaΘ\varTheta \varThetaΛ\varLambda \varLambda
Ξ\varXi \varXiΠ\varPi \varPiΣ\varSigma \varSigmaΥ\varUpsilon \varUpsilon
Φ\varPhi \varPhiΨ\varPsi \varPsiΩ\varOmega \varOmega
α\alpha \alphaβ\beta \betaγ\gamma \gammaδ\delta \delta
ϵ\epsilon \epsilonζ\zeta \zetaη\eta \etaθ\theta \theta
ι\iota \iotaκ\kappa \kappaλ\lambda \lambdaμ\mu \mu
ν\nu \nuξ\xi \xiο\omicron \omicronπ\pi \pi
ρ\rho \rhoσ\sigma \sigmaτ\tau \tauυ\upsilon \upsilon
ϕ\phi \phiχ\chi \chiψ\psi \psiω\omega \omega
ε\varepsilon \varepsilonϰ\varkappa \varkappaϑ\vartheta \varthetaϑ\thetasym \thetasym
ϖ\varpi \varpiϱ\varrho \varrhoς\varsigma \varsigmaφ\varphi \varphi

| ϝ\digamma \digamma

Other Letters

ı\imath \imath\nabla \nabla\Im \ImR\Reals \RealsŒ\text{\OE} \text{\OE}
ȷ\jmath \jmath\partial \partial\image \image\wp \wpø\text{\o} \text{\o}
\aleph \aleph\Game \Gamek\Bbbk \Bbbk\weierp \weierpØ\text{\O} \text{\O}
\alef \alef\Finv \FinvN\N \NZ\Z \Zß\text{\ss} \text{\ss}
\alefsym \alefsymC\cnums \cnumsN\natnums \natnumsa˚\text{\aa} \text{\aa}ı\text{\i} \text{\i}
\beth \bethC\Complex \ComplexR\R \RA˚\text{\AA} \text{\AA}ȷ\text{\j} \text{\j}
\gimel \gimel\ell \ell\Re \Reæ\text{\ae} \text{\ae}
\daleth \daleth\hbar \hbar\real \realÆ\text{\AE} \text{\AE}
ð\eth \eth\hslash \hslashR\reals \realsœ\text{\oe} \text{\oe}

Direct Input: ð∂ ∇ ℑ Ⅎ ℵ ℶ ℷ ℸ ⅁ ℏ ð ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÐÑÒÓÔÕÖÙÚÛÜÝÞßàáâãäåçèéêëìíîïðñòóôöùúûüýþÿ

Unicode Mathematical Alphanumeric Symbols

ItemRangeItemRange
Bold𝐀-𝐙 𝐚-𝐳 𝟎-𝟗\text{𝐀-𝐙 𝐚-𝐳 𝟎-𝟗}Double-struck𝔸-Z 𝕜\text{𝔸-}ℤ\ 𝕜
Italic𝐴-𝑍 𝑎-𝑧\text{𝐴-𝑍 𝑎-𝑧}Sans serif𝖠-𝖹 𝖺-𝗓 𝟢-𝟫\text{𝖠-𝖹 𝖺-𝗓 𝟢-𝟫}
Bold Italic𝑨-𝒁 𝒂-𝒛\text{𝑨-𝒁 𝒂-𝒛}Sans serif bold𝗔-𝗭 𝗮-𝘇 𝟬-𝟵\text{𝗔-𝗭 𝗮-𝘇 𝟬-𝟵}
Script𝒜-𝒵\text{𝒜-𝒵}Sans serif italic𝘈-𝘡 𝘢-𝘻\text{𝘈-𝘡 𝘢-𝘻}
Fractur𝔄-Z 𝔞-𝔷\text{𝔄-}ℨ\text{ 𝔞-𝔷}Monospace𝙰-𝚉 𝚊-𝚣 𝟶-𝟿\text{𝙰-𝚉 𝚊-𝚣 𝟶-𝟿}

Unicode

The letters listed above will render in any KaTeX rendering mode.

If the KaTeX rendering mode is set to strict: false or strict:"warn" (default), then KaTeX will accept all Unicode letters. The letters not listed above will be rendered from system fonts, not KaTeX-supplied fonts, so their typography may clash. They may also cause small vertical alignment issues. KaTeX has detailed metrics for glyphs in Latin, Greek, and Cyrillic, but other glyphs are treated as if they are each as tall as the letter M.

For Persian composite characters, a user-supplied plug-in is under development.

6: Layout

6.1: Annotation

5\cancel{5} \cancel{5}a+b+cnote\overbrace{a+b+c}^{\text{note}} \overbrace{a+b+c}^{\text{note}}
5\bcancel{5} \bcancel{5}a+b+cnote\underbrace{a+b+c}_{\text{note}} \underbrace{a+b+c}_{\text{note}}
ABC\xcancel{ABC} \xcancel{ABC}\not = \not =
abc\sout{abc} \sout{abc}π=cd\boxed{\pi=\frac c d} \boxed{\pi=\frac c d}

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

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

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

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

6.2: Line Breaks

KaTeX 0.10.0+ will insert automatic line breaks in inline math after relations or binary operators such as “=” or “+”. These can be suppressed by \nobreak or by placing math inside a pair of braces, as in {F=ma}. \allowbreak will allow automatic line breaks at locations other than relations or operators.

Hard line breaks are \\ and \newline.

In display math, KaTeX does not insert automatic line breaks. It ignores display math hard line breaks when rendering option strict: true.

6.3: Vertical Layout

xnx_n x_n=!\stackrel{!}{=} \stackrel{!}{=}aba \atop b a \atop b
exe^x e^x=!\overset{!}{=} \overset{!}{=}abca\raisebox{0.25em}{b}c a\raisebox{0.25em}{b}c
$_u^o $ _u^o =!\underset{!}{=} \underset{!}{=}

The second argument of \raisebox can contain math if it is nested within $…$ delimiters, as in \raisebox{0.25em}{$\frac a b$}

6.4: Overlap and Spacing

=/{=}\mathllap{/\,} {=}\mathllap{/\,}(x2)\left(x^{\smash{2}}\right) \left(x^{\smash{2}}\right)
/=\mathrlap{\,/}{=} \mathrlap{\,/}{=}y\sqrt{\smash[b]{y}} \sqrt{\smash[b]{y}}

1ijnxij\displaystyle\sum_{\mathclap{1\le i\le j\le n}} x_{ij} \sum_{\mathclap{1\le i\le j\le n}} x_{ij}

KaTeX also supports \llap, \rlap, and \clap, but they will take only text, not math, as arguments.

Spacing

FunctionProducesFunctionProduces
\,³∕₁₈ em space\kern{distance}space, width = distance
\thinspace³∕₁₈ em space\mkern{distance}space, width = distance
\:⁴∕₁₈ em space\mskip{distance}space, width = distance
\medspace⁴∕₁₈ em space\hskip{distance}space, width = distance
\;⁵∕₁₈ em space\hspace{distance}space, width = distance
\thickspace⁵∕₁₈ em space\hspace*{distance}space, width = distance
\enspace½ em space\phantom{content}space the width and height of content
\quad1 em space\hphantom{content}space the width of content
\qquad2 em space\vphantom{content}a strut the height of content
~non-breaking space\!– ³∕₁₈ em space
\<space>space\negthinspace– ³∕₁₈ em space
\nobreakspacenon-breaking space\negmedspace– ⁴∕₁₈ em space
\spacespace\negthickspace– ⁵∕₁₈ em space

Notes:

distance will accept any of the KaTeX units.

\kern, \mkern, \mskip, and \hspace accept unbraced distances, as in: \kern1em.

\mkern and \mskip will not work in text mode and both will write a console warning for any unit except mu.

7: Logic and Set Theory

\forall \forall\complement \complement\therefore \therefore\emptyset \emptyset
\exists \exists\subset \subset\because \because\empty \empty
\exist \exist\supset \supset\mapsto \mapsto\varnothing \varnothing
\nexists \nexists\mid \mid\to \to    \implies \implies
\in \in\land \land\gets \gets    \impliedby \impliedby
\isin \isin\lor \lor\leftrightarrow \leftrightarrow    \iff \iff
\notin \notin\ni \ni\notni \notni¬\neg \neg or \lnot

Direct Input: ¬∀ ∴ ∁ ∵ ∃ ∣ ∈ ∉ ∋ ⊂ ⊃ ∧ ∨ ↦ → ← ↔ ¬ ℂ ℍ ℕ ℙ ℚ ℝ

8: Macros

x2+x2\def\foo{x^2} \foo + \foo\def\foo{x^2} \foo + \foo
y2+y2\gdef\bar#1{#1^2} \bar{y} + \bar{y}\gdef\bar#1{#1^2} \bar{y} + \bar{y}
\global\def\macroname#1#2…{definition}
\newcommand\macroname[numargs]{definition}
\renewcommand\macroname[numargs]{definition}
\providecommand\macroname[numargs]{definition}

Macros can also be defined in the KaTeX rendering options.

Macros accept up to nine arguments: #1, #2, etc.

\gdef and \global\def macros will persist between math expressions.

Available functions include:

\char \mathchoice \TextOrMath \@ifstar \@ifnextchar \@firstoftwo \@secondoftwo \relax

@ is a valid character for commands, as if \makeatletter were in effect.

9: Operators

9.1: Big Operators

\sum \sum\prod \prod\bigotimes \bigotimes\bigvee \bigvee
\int \int\coprod \coprod\bigoplus \bigoplus\bigwedge \bigwedge
\iint \iint\intop \intop\bigodot \bigodot\bigcap \bigcap
\iiint \iiint\smallint \smallint\biguplus \biguplus\bigcup \bigcup
\oint \oint\oiint \oiint\oiiint \oiiint\bigsqcup \bigsqcup

Direct Input: ∫ ∬ ∭ ∮ ∏ ∐ ∑ ⋀ ⋁ ⋂ ⋃ ⨀ ⨁ ⨂ ⨄ ⨆

9.2: Binary Operators

++ +\cdot \cdot\gtrdot \gtrdotx(moda)x \pmod a x \pmod a
- -\cdotp \cdotp\intercal \intercalx(a)x \pod a x \pod a
// /\centerdot \centerdot\land \land\rhd \rhd
* *\circ \circ\leftthreetimes \leftthreetimes\rightthreetimes \rightthreetimes
⨿\amalg \amalg\circledast \circledast.\ldotp \ldotp\rtimes \rtimes
&\And \And\circledcirc \circledcirc\lor \lor\setminus \setminus
\ast \ast\circleddash \circleddash\lessdot \lessdot\smallsetminus \smallsetminus
\barwedge \barwedge\Cup \Cup\lhd \lhd\sqcap \sqcap
\bigcirc \bigcirc\cup \cup\ltimes \ltimes\sqcup \sqcup
mod\bmod \bmod\curlyvee \curlyveexmodax \mod a x\mod a×\times \times
\boxdot \boxdot\curlywedge \curlywedge\mp \mp\unlhd \unlhd
\boxminus \boxminus÷\div \div\odot \odot\unrhd \unrhd
\boxplus \boxplus\divideontimes \divideontimes\ominus \ominus\uplus \uplus
\boxtimes \boxtimes\dotplus \dotplus\oplus \oplus\vee \vee
\bullet \bullet\doublebarwedge \doublebarwedge\otimes \otimes\veebar \veebar
\Cap \Cap\doublecap \doublecap\oslash \oslash\wedge \wedge
\cap \cap\doublecup \doublecup±\pm \pm or \plusmn\wr \wr

Direct Input: +/±×÷+ - / * ⋅ ± × ÷ ∓ ∔ ∧ ∨ ∩ ∪ ≀ ⊎ ⊓ ⊔ ⊕ ⊖ ⊗ ⊘ ⊙ ⊚ ⊛ ⊝

9.3: Fractions and Binomials

ab\frac{a}{b} \frac{a}{b}ab\tfrac{a}{b} \tfrac{a}{b}(aa+1]\genfrac ( ] {2pt}{1}a{a+1} \genfrac ( ] {2pt}{1}a{a+1}
ab{a \over b} {a \over b}ab\dfrac{a}{b} \dfrac{a}{b}ab+1{a \above{2pt} b+1} {a \above{2pt} b+1}
a/ba/b a/ba1+1b\cfrac{a}{1 + \cfrac{1}{b}} \cfrac{a}{1 + \cfrac{1}{b}}
(nk)\binom{n}{k} \binom{n}{k}(nk)\dbinom{n}{k} \dbinom{n}{k}{nk}{n\brace k} {n\brace k}
(nk){n \choose k} {n \choose k}(nk)\tbinom{n}{k} \tbinom{n}{k}[nk]{n\brack k} {n\brack k}

9.4: Math Operators

arcsin\arcsin \arcsincotg\cotg \cotgln\ln \lndet\det \det
arccos\arccos \arccoscoth\coth \cothlog\log \loggcd\gcd \gcd
arctan\arctan \arctancsc\csc \cscsec\sec \secinf\inf \inf
arctg\arctg \arctgctg\ctg \ctgsin\sin \sinlim\lim \lim
arcctg\arcctg \arcctgcth\cth \cthsinh\sinh \sinhlim inf\liminf \liminf
arg\arg \argdeg\deg \degsh\sh \shlim sup\limsup \limsup
ch\ch \chdim\dim \dimtan\tan \tanmax\max \max
cos\cos \cosexp\exp \exptanh\tanh \tanhmin\min \min
cosec\cosec \cosechom\hom \homtg\tg \tgPr\Pr \Pr
cosh\cosh \coshker\ker \kerth\th \thsup\sup \sup
cot\cot \cotlg\lg \lgf\operatorname{f} \operatorname{f}

Functions on the right column of this table can take \limits.

9.5: \sqrt

x\sqrt{x} \sqrt{x}

x3\sqrt[3]{x} \sqrt[3]{x}

10: Relations

=!\stackrel{!}{=} \stackrel{!}{=}

== =\eqcirc \eqcirc\lesseqgtr \lesseqgtr\sqsupset \sqsupset
<< <\eqcolon \eqcolon\lesseqqgtr \lesseqqgtr\sqsupseteq \sqsupseteq
>> >\Eqcolon \Eqcolon\lessgtr \lessgtr\Subset \Subset
:: :\eqqcolon \eqqcolon\lesssim \lesssim\subset \subset or \sub
\approx \approx=\Eqqcolon \Eqqcolon\ll \ll\subseteq \subseteq or \sube
\approxeq \approxeq\eqsim \eqsim\lll \lll\subseteqq \subseteqq
\asymp \asymp\eqslantgtr \eqslantgtr\llless \llless\succ \succ
\backepsilon \backepsilon\eqslantless \eqslantless<\lt \lt\succapprox \succapprox
\backsim \backsim\equiv \equiv\mid \mid\succcurlyeq \succcurlyeq
\backsimeq \backsimeq\fallingdotseq \fallingdotseq\models \models\succeq \succeq
\between \between\frown \frown\multimap \multimap\succsim \succsim
\bowtie \bowtie\ge \ge\owns \owns\Supset \Supset
\bumpeq \bumpeq\geq \geq\parallel \parallel\supset \supset
\Bumpeq \Bumpeq\geqq \geqq\perp \perp\supseteq \supseteq or \supe
\circeq \circeq\geqslant \geqslant\pitchfork \pitchfork\supseteqq \supseteqq
:\colonapprox \colonapprox\gg \gg\prec \prec\thickapprox \thickapprox
\Colonapprox \Colonapprox\ggg \ggg\precapprox \precapprox\thicksim \thicksim
:\coloneq \coloneq\gggtr \gggtr\preccurlyeq \preccurlyeq\trianglelefteq \trianglelefteq
\Coloneq \Coloneq>\gt \gt\preceq \preceq\triangleq \triangleq
\coloneqq \coloneqq\gtrapprox \gtrapprox\precsim \precsim\trianglerighteq \trianglerighteq
=\Coloneqq \Coloneqq\gtreqless \gtreqless\propto \propto\varpropto \varpropto
:\colonsim \colonsim\gtreqqless \gtreqqless\risingdotseq \risingdotseq\vartriangle \vartriangle
\Colonsim \Colonsim\gtrless \gtrless\shortmid \shortmid\vartriangleleft \vartriangleleft
\cong \cong\gtrsim \gtrsim\shortparallel \shortparallel\vartriangleright \vartriangleright
\curlyeqprec \curlyeqprec\in \in or \isin\sim \sim:\vcentcolon \vcentcolon
\curlyeqsucc \curlyeqsucc\Join \Join\simeq \simeq\vdash \vdash
\dashv \dashv\le \le\smallfrown \smallfrown\vDash \vDash
\dblcolon \dblcolon\leq \leq\smallsmile \smallsmile\Vdash \Vdash
\doteq \doteq\leqq \leqq\smile \smile\Vvdash \Vvdash
\Doteq \Doteq\leqslant \leqslant\sqsubset \sqsubset
\doteqdot \doteqdot\lessapprox \lessapprox\sqsubseteq \sqsubseteq

Direct Input: =<>:= < > : ∈ ∋ ∝ ∼ ∽ ≂ ≃ ≅ ≈ ≊ ≍ ≎ ≏ ≐ ≑ ≒ ≓ ≖ ≗ ≜ ≡ ≤ ≥ ≦ ≧ ≫ ≬ ≳ ≷ ≺ ≻ ≼ ≽ ≾ ≿ ⊂ ⊃ ⊆ ⊇ ⊏ ⊐ ⊑ ⊒ ⊢ ⊣ ⊩ ⊪ ⊸ ⋈ ⋍ ⋐ ⋑ ⋔ ⋙ ⋛ ⋞ ⋟ ⌢ ⌣ ⩾ ⪆ ⪌ ⪕ ⪖ ⪯ ⪰ ⪷ ⪸ ⫅ ⫆ ≲ ⩽ ⪅ ≶ ⋚ ⪋ ⟂ ⊨ ≔ ≕ ⩴

10.1: Negated Relations

\not = \not =

\gnapprox \gnapprox\ngeqslant \ngeqslant\nsubseteq \nsubseteq\precneqq \precneqq
\gneq \gneq\ngtr \ngtr\nsubseteqq \nsubseteqq\precnsim \precnsim
\gneqq \gneqq\nleq \nleq\nsucc \nsucc\subsetneq \subsetneq
\gnsim \gnsim\nleqq \nleqq\nsucceq \nsucceq\subsetneqq \subsetneqq
\gvertneqq \gvertneqq\nleqslant \nleqslant\nsupseteq \nsupseteq\succnapprox \succnapprox
\lnapprox \lnapprox\nless \nless\nsupseteqq \nsupseteqq\succneqq \succneqq
\lneq \lneq\nmid \nmid\ntriangleleft \ntriangleleft\succnsim \succnsim
\lneqq \lneqq\notin \notin\ntrianglelefteq \ntrianglelefteq\supsetneq \supsetneq
\lnsim \lnsim\notni \notni\ntriangleright \ntriangleright\supsetneqq \supsetneqq
\lvertneqq \lvertneqq\nparallel \nparallel\ntrianglerighteq \ntrianglerighteq\varsubsetneq \varsubsetneq
\ncong \ncong\nprec \nprec\nvdash \nvdash\varsubsetneqq \varsubsetneqq
\ne \ne\npreceq \npreceq\nvDash \nvDash\varsupsetneq \varsupsetneq
\neq \neq\nshortmid \nshortmid\nVDash \nVDash\varsupsetneqq \varsupsetneqq
\ngeq \ngeq\nshortparallel \nshortparallel\nVdash \nVdash
\ngeqq \ngeqq\nsim \nsim\precnapprox \precnapprox

Direct Input:

∉ ∌ ∤ ∦ ≁ ≆ ≠ ≨ ≩ ≮ ≯ ≰ ≱ ⊀ ⊁ ⊈ ⊉ ⊊ ⊋ ⊬ ⊭ ⊮ ⊯ ⋠ ⋡ ⋦ ⋧ ⋨ ⋩ ⋬ ⋭ ⪇ ⪈ ⪉ ⪊ ⪵ ⪶ ⪹ ⪺ ⫋ ⫌

10.2: Arrows

\circlearrowleft \circlearrowleft\leftharpoonup \leftharpoonup\rArr \rArr
\circlearrowright \circlearrowright\leftleftarrows \leftleftarrows\rarr \rarr
\curvearrowleft \curvearrowleft\leftrightarrow \leftrightarrow\restriction \restriction
\curvearrowright \curvearrowright\Leftrightarrow \Leftrightarrow\rightarrow \rightarrow
\Darr \Darr\leftrightarrows \leftrightarrows\Rightarrow \Rightarrow
\dArr \dArr\leftrightharpoons \leftrightharpoons\rightarrowtail \rightarrowtail
\darr \darr\leftrightsquigarrow \leftrightsquigarrow\rightharpoondown \rightharpoondown
\dashleftarrow \dashleftarrow\Lleftarrow \Lleftarrow\rightharpoonup \rightharpoonup
\dashrightarrow \dashrightarrow\longleftarrow \longleftarrow\rightleftarrows \rightleftarrows
\downarrow \downarrow\Longleftarrow \Longleftarrow\rightleftharpoons \rightleftharpoons
\Downarrow \Downarrow\longleftrightarrow \longleftrightarrow\rightrightarrows \rightrightarrows
\downdownarrows \downdownarrows\Longleftrightarrow \Longleftrightarrow\rightsquigarrow \rightsquigarrow
\downharpoonleft \downharpoonleft\longmapsto \longmapsto\Rrightarrow \Rrightarrow
\downharpoonright \downharpoonright\longrightarrow \longrightarrow\Rsh \Rsh
\gets \gets\Longrightarrow \Longrightarrow\searrow \searrow
\Harr \Harr\looparrowleft \looparrowleft\swarrow \swarrow
\hArr \hArr\looparrowright \looparrowright\to \to
\harr \harr\Lrarr \Lrarr\twoheadleftarrow \twoheadleftarrow
\hookleftarrow \hookleftarrow\lrArr \lrArr\twoheadrightarrow \twoheadrightarrow
\hookrightarrow \hookrightarrow\lrarr \lrarr\Uarr \Uarr
    \iff \iff\Lsh \Lsh\uArr \uArr
    \impliedby \impliedby\mapsto \mapsto\uarr \uarr
    \implies \implies\nearrow \nearrow\uparrow \uparrow
\Larr \Larr\nleftarrow \nleftarrow\Uparrow \Uparrow
\lArr \lArr\nLeftarrow \nLeftarrow\updownarrow \updownarrow
\larr \larr\nleftrightarrow \nleftrightarrow\Updownarrow \Updownarrow
\leadsto \leadsto\nLeftrightarrow \nLeftrightarrow\upharpoonleft \upharpoonleft
\leftarrow \leftarrow\nrightarrow \nrightarrow\upharpoonright \upharpoonright
\Leftarrow \Leftarrow\nRightarrow \nRightarrow\upuparrows \upuparrows
\leftarrowtail \leftarrowtail\nwarrow \nwarrow
\leftharpoondown \leftharpoondown\Rarr \Rarr

Direct Input: ← ↑ → ↓ ↔ ↕ ↖ ↗ ↘ ↙ ↚ ↛ ↞ ↠ ↢ ↣ ↦ ↩ ↪ ↫ ↬ ↭ ↮ ↰ ↱↶ ↷ ↺ ↻ ↼ ↽ ↾ ↾ ↿ ⇀ ⇁ ⇂ ⇃ ⇄ ⇆ ⇇ ⇈ ⇉ ⇊ ⇋ ⇌⇍ ⇎ ⇏ ⇐ ⇑ ⇒ ⇓ ⇔ ⇕ ⇚ ⇛ ⇝ ⇠ ⇢ ⟵ ⟶ ⟷ ⟸ ⟹ ⟺ ⟼

Extensible Arrows

abc\xleftarrow{abc} \xleftarrow{abc}underover\xrightarrow[under]{over} \xrightarrow[under]{over}
abc\xLeftarrow{abc} \xLeftarrow{abc}abc\xRightarrow{abc} \xRightarrow{abc}
abc\xleftrightarrow{abc} \xleftrightarrow{abc}abc\xLeftrightarrow{abc} \xLeftrightarrow{abc}
abc\xhookleftarrow{abc} \xhookleftarrow{abc}abc\xhookrightarrow{abc} \xhookrightarrow{abc}
abc\xtwoheadleftarrow{abc} \xtwoheadleftarrow{abc}abc\xtwoheadrightarrow{abc} \xtwoheadrightarrow{abc}
abc\xleftharpoonup{abc} \xleftharpoonup{abc}abc\xrightharpoonup{abc} \xrightharpoonup{abc}
abc\xleftharpoondown{abc} \xleftharpoondown{abc}abc\xrightharpoondown{abc} \xrightharpoondown{abc}
abc\xleftrightharpoons{abc} \xleftrightharpoons{abc}abc\xrightleftharpoons{abc} \xrightleftharpoons{abc}
abc\xtofrom{abc} \xtofrom{abc}abc\xmapsto{abc} \xmapsto{abc}

|=abc\xlongequal{abc} \xlongequal{abc}

Extensible arrows all can take an optional argument in the same manner, as \xrightarrow[under]{over}.

11: Style, Color, Size, and Font

Class Assignment

  • \mathbin \mathclose \mathinner \mathop

  • \mathopen \mathord \mathpunct \mathrel

Color

F=ma\color{blue} F=ma \color{blue} F=ma

Note that KaTeX \color acts like a switch. This aligns with LaTeX and differs from MathJax. Other KaTeX color functions expect the content to be a function argument:

  • F=ma\textcolor{blue}{F=ma} \textcolor{blue}{F=ma}
  • F=ma\textcolor{#228B22}{F=ma} \textcolor{#228B22}{F=ma}
  • A\colorbox{aqua}{A} \colorbox{aqua}{A}
  • A\fcolorbox{red}{aqua}{A} \fcolorbox{red}{aqua}{A}

For color definition, KaTeX color functions will accept the standard HTML predefined color names. They will also accept an RGB argument in CSS hexa­decimal style. The "#" is optional before a six-digit specification.

Font

Ab0\mathrm{Ab0} \mathrm{Ab0}Ab0\mathbf{Ab0} \mathbf{Ab0}Ab\mathit{Ab} \mathit{Ab}
Ab0\mathnormal{Ab0} \mathnormal{Ab0}Ab0\textbf{Ab0} \textbf{Ab0}Ab\textit{Ab} \textit{Ab}
Ab0\textrm{Ab0} \textrm{Ab0}Ab0\bf Ab0 \bf Ab0Ab\it Ab \it Ab
Ab0\rm Ab0 \rm Ab0Ab0\bold{Ab0} \bold{Ab0}AB\Bbb{AB} \Bbb{AB}
Ab0\textnormal{Ab0} \textnormal{Ab0}Ab\boldsymbol{Ab} \boldsymbol{Ab}AB\mathbb{AB} \mathbb{AB}
Ab0\text{Ab0} \text{Ab0}Ab\bm{Ab} \bm{Ab}Ab0\frak{Ab0} \frak{Ab0}
Ab0\mathsf{Ab0} \mathsf{Ab0}Ab0\mathtt{Ab0} \mathtt{Ab0}Ab0\mathfrak{Ab0} \mathfrak{Ab0}
Ab0\textsf{Ab0} \textsf{Ab0}Ab0\texttt{Ab0} \texttt{Ab0}AB0\mathcal{AB0} \mathcal{AB0}
Ab0\sf Ab0 \sf Ab0Ab0\tt Ab0 \tt Ab0AB\mathscr{AB} \mathscr{AB}

One can stack font family, font weight, and font shape by using the \textXX versions of the font functions. So \textsf{\textbf{H}} will produce H\textsf{\textbf{H}}. The other versions do not stack, e.g., \mathsf{\mathbf{H}} will produce H\mathsf{\mathbf{H}}.

In cases where KaTeX fonts do not have a bold glyph, \pmb can simulate one. For example, \pmb{\mu} renders as : μ\pmb{\mu}

Size

AB\Huge AB \Huge ABAB\normalsize AB \normalsize AB
AB\huge AB \huge ABAB\small AB \small AB
AB\LARGE AB \LARGE ABAB\footnotesize AB \footnotesize AB
AB\Large AB \Large ABAB\scriptsize AB \scriptsize AB
AB\large AB \large ABAB\tiny AB \tiny AB

Style

|i=1n\displaystyle\sum_{i=1}^n \displaystyle\sum_{i=1}^n |i=1n\textstyle\sum_{i=1}^n \textstyle\sum_{i=1}^n |x\scriptstyle x \scriptstyle x         (The size of a first sub/superscript) |x\scriptscriptstyle x \scriptscriptstyle x (The size of subsequent sub/superscripts) |limx\lim\limits_x \lim\limits_x |limx\lim\nolimits_x \lim\nolimits_x |x^2\verb!x^2! \verb!x^2!

\text{…} will accept nested $…$ fragments and render them in math mode.

12: Symbols and Punctuation

% comment\dots \dotsKaTeX\KaTeX \KaTeX
%\% \%\cdots \cdotsLaTeX\LaTeX \LaTeX
#\# \#\ddots \ddotsTeX\TeX \TeX
&\& \&\ldots \ldots\nabla \nabla
_\_ \_\vdots \vdots\infty \infty
_\text{\textunderscore} \text{\textunderscore}\dotsb \dotsb\infin \infin
\text{--} \text{--}\dotsc \dotsc\checkmark \checkmark
\text{\textendash} \text{\textendash} ⁣\dotsi \dotsi\dag \dag
\text{---} \text{---}\dotsm \dotsm\dagger \dagger
\text{\textemdash} \text{\textemdash}\dotso \dotso\text{\textdagger} \text{\textdagger}
~\text{\textasciitilde} \text{\textasciitilde}\sdot \sdot\ddag \ddag
` `\mathellipsis \mathellipsis\ddagger \ddagger
\text{\textquoteleft} text{\textquoteleft}\text{\textellipsis} \text{\textellipsis}\text{\textdaggerdbl} \text{\textdaggerdbl}
\lq \lq\Box \Box\Dagger \Dagger
\text{\textquoteright} \text{\textquoteright}\square \square\angle \angle
\rq \rq\blacksquare \blacksquare\measuredangle \measuredangle
\text{\textquotedblleft} \text{\textquotedblleft}\triangle \triangle\sphericalangle \sphericalangle
"" "\triangledown \triangledown\top \top
\text{\textquotedblright} \text{\textquotedblright}\triangleleft \triangleleft\bot \bot
 ⁣:\colon \colon\triangleright \triangleright$\$ \$
\backprime \backprime\bigtriangledown \bigtriangledown$\text{\textdollar} \text{\textdollar}
\prime \prime\bigtriangleup \bigtriangleup£\pounds \pounds
<\text{\textless} \text{\textless}\blacktriangle \blacktriangle£\mathsterling \mathsterling
>\text{\textgreater} \text{\textgreater}\blacktriangledown \blacktriangledown£\text{\textsterling} \text{\textsterling}
|\text{\textbar} \text{\textbar}\blacktriangleleft \blacktriangleleft¥\yen \yen
\text{\textbardbl} \text{\textbardbl}\blacktriangleright \blacktriangleright\surd \surd
{\text{\textbraceleft} \text{\textbraceleft}\diamond \diamond°\degree \degree
}\text{\textbraceright} \text{\textbraceright}\Diamond \Diamond°\text{\textdegree} \text{\textdegree}
\text{\P} \text{\P}\lozenge \lozenge\mho \mho
§\text{\S} \text{\S}\blacklozenge \blacklozenge\diagdown \diagdown
§\text{\sect} \text{\sect}\star \star\diagup \diagup
©\copyright \copyright\bigstar \bigstar\flat \flat
®\circledR \circledR\clubsuit \clubsuit\natural \natural
®\text{\textregistered} \text{\textregistered}\clubs \clubs\sharp \sharp
\circledS \circledS\diamondsuit \diamondsuit\heartsuit \heartsuit
a\text{\textcircled a} \text{\textcircled a}\diamonds \diamonds\hearts \hearts
\maltese \maltese\spadesuit \spadesuit\spades \spades

Direct Input: £¥!£ ¥ ∇ ∞ · ∠ ∡ ∢ ♠ ♡ ♢ ♣ ♭ ♮ ♯ ✓ … ⋮ ⋯ ⋱ !

13: Units

In KaTeX, units are proportioned as they are in TeX. KaTeX units are different than CSS units.

KaTeX UnitValueKaTeX UnitValue
emCSS embp1/72​ inch × F × G
exCSS expc12 KaTeX pt
mu1/18 CSS emdd1238/1157​ KaTeX pt
pt1/72.27 inch × F × Gcc14856/1157 KaTeX pt
mm1 mm × F × Gnd685/642 KaTeX pt
cm1 cm × F × Gnc1370/107​ KaTeX pt
in1 inch × F × Gsp1/65536 KaTeX pt

where:

  • F = (font size of surrounding HTML text)/(10 pt)

  • G = 1.21 by default, because KaTeX font-size is normally 1.21 × the surrounding font size. This value can be overridden by the CSS of an HTML page.

The effect of style and size:

Unittextstylescriptscripthuge
em or ex\rule{1em}{1em}\scriptscriptstyle\rule{1em}{1em}\huge\rule{1em}{1em}
mu\rule{18mu}{18mu}\scriptscriptstyle\rule{18mu}{18mu}\huge\rule{18mu}{18mu}
others\rule{10pt}{10pt}\scriptscriptstyle\rule{10pt}{10pt}\huge\rule{10pt}{10pt}