/ AOCode / 讨论 / 分享 /

KaTeX Editorial (EN)

The \(\KaTeX\) Editorial for Vijos (En)

Because Vijos uses the \(\KaTeX\), so we wrote this Editorial of \(\KaTeX\).
All words, phrases and sentences are from the \(\KaTeX\) Official Website :
http://katex.org/docs/supported.html
and here's a list of all \(\TeX\) functions with either supported or unsupported by \(\KaTeX\):
http://katex.org/docs/support_table.html
Have Fun with \(\KaTeX\)!

Note: Because Vijos's \(\KaTeX\) version is very old (too old), but the source we found is the latest, so some of the Grammar would not fit in Vijos. We’re sorry about that.

Below are the context:

Supported Functions

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

There is a simular Support Table, sorted alphabetically, that lists both supported and un-supported functions.

Accents

\(a’\) a' \(\tilde{a}\) \tilde{a} \(\mathring{g}\) \mathring{g}
\(a''\) a'' \(\widetilde{ac}\) \widetilde{ac} \(\overgroup{AB}\) \overgroup{AB}
\(a^{\prime}\) a^{\prime} \(\utilde{AB}\) \utilde{AB} \(\undergroup{AB}\) \undergroup{AB}
\(\acute{a}\) \acute{a} \(\vec{F}\) \vec{F} \(\Overrightarrow{AB}\) \Overrightarrow{AB}
\(\bar{y}\) \bar{y} \(\overleftarrow{AB}\) \overleftarrow{AB} \(\overrightarrow{AB}\) \overrightarrow{AB}
\(\breve{a}\) \breve{a} \(\underleftarrow{AB}\) \underleftarrow{AB} \(\underrightarrow{AB}\) \underrightarrow{AB}
\(\check{a}\) \check{a} \(\overleftharpoon{ac}\) \overleftharpoon{ac} \(\overrightharpoon{ac}\) \overrightharpoon{ac}
\(\dot{a}\) \dot{a} \(\overleftrightarrow{AB}\) \overleftrightarrow{AB} \(\overbrace{AB}\) \overbrace{AB}
\(\ddot{a}\) \ddot{a} \(\underleftrightarrow{AB}\) \underleftrightarrow{AB} \(\underbrace{AB}\) \underbrace{AB}
\(\grave{a}\) \grave{a} \(\overline{AB}\) \overline{AB} \(\overlinesegment{AB}\) \overlinesegment{AB}
\(\hat{\theta}\) \hat{\theta} \(\underline{AB}\) \underline{AB} \(\underlinesegment{AB}\) \underlinesegment{AB}
\(\widehat{ac}\) \widehat{ac} \(\widecheck{ac}\) \widecheck{ac} \(\underbar{X}\) \underbar{X}

Accent functions inside \text{…}

\(\text{\'{a}}\) \'{a} \(\text{\~{a}}\) \~{a} \(\text{\.{a}}\) \.{a} \(\text{\H{a}}\) \H{a}
\(\text{\`{a}}\) \`{a} \(\text{\={a}}\) \={a} \(\text{\"{a}}\) \"{a} \(\text{\v{a}}\) \v{a}
\(\text{\^{a}}\) \^{a} \(\text{\u{a}}\) \u{a} \(\text{\r{a}}\) \r{a}

See also letters

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 \(┌ ┐\) ┌ ┐ \(\ulcorner \urcorner\) \ulcorner \urcorner \(\Downarrow\) \Downarrow
\| \(\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 \(⟦\ ⟧\) ⟦ ⟧ \(\llbracket\ \rrbracket\) \llbracket \rrbracket \(\lBrace\ \rBrace\) \lBrace \rBrace

Delimiter Sizing

\(\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

Environments

\(\begin{matrix} a & b \\ c & d \end{matrix}\) \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}
\(\begin{pmatrix} a & b \\ c & d \end{pmatrix}\) \begin{pmatrix} a & b \\ c & d \end{pmatrix} \(\begin{bmatrix} a & b \\ c & d \end{bmatrix}\) \begin{bmatrix} a & b \\ c & d \end{bmatrix}
\(\begin{vmatrix} a & b \\ c & d \end{vmatrix}\) \begin{vmatrix} a & b \\ c & d \end{vmatrix} \(\begin{Vmatrix} a & b \\ c & d \end{Vmatrix}\) \begin{Vmatrix} a & b \\ c & d \end{Vmatrix}
\(\begin{Bmatrix} a & b \\ c & d \end{Bmatrix}\) \begin{Bmatrix} a & b \\ c & d \end{Bmatrix} \(\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}
\(x = \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} \(\begin{rcases} a &\text{if } b \\ c &\text{if } d \end{rcases}⇒…\) \begin{rcases} a &\text{if } b \\ c &\text{if } d \end{rcases}⇒…
\(\begin{smallmatrix} a & b \\ c & d \end{smallmatrix}\) \begin{smallmatrix} a & b \\ c & d \end{smallmatrix} \(\sum_{\begin{subarray}{l} i\in\Lambda\\ 0<j<n \end{subarray}}\) \sum_{ \begin{subarray}{l} i\in\Lambda\\ 0<j<n \end{subarray}}

The auto-render extension will render the following environments even if they are not inside math delimiters such as $$…$$. They are display-mode only.

\[\begin{equation} \begin{split} a &=b+c\\ &=e+f \end{split} \end{equation}\] \begin{equation} \begin{split} a &=b+c\\ &=e+f \end{split} \end{equation} \[\begin{align} a&=b+c \\ d+e&=f \end{align}\] \begin{align} a&=b+c \\ d+e&=f \end{align}
\[\begin{gather} a=b \\ e=b+c \end{gather}\] \begin{gather} a=b \\ e=b+c \end{gather} \[\begin{alignat}{2} 10&x+&3&y=2\\ 3&x+&13&y=4 \end{alignat}\] \begin{alignat}{2} 10&x+&3&y=2\\ 3&x+&13&y=4 \end{alignat}
\[\begin{CD} A @>a>> B \\ @VbVV @AACA \\ C @= D\end{CD}\] \begin{CD} A @>a>> B \\ @VbVV @AAcA \\ C @= D \end{CD}

Other \(\KaTeX\) Environments

Environments How they differ from those shown above
darray, dcases, drcases … apply displaystyle
matrix*, pmatrix*, bmatrix*, Bmatrix*, vmatrix*, Vmatrix* … take an optional argument to set column alignment, as in \begin{matrix*}[r]
equation*, gather*, align*, alignat* … have no automatic numbering.
gathered, aligned, alignedat … do not need to be in display mode. … have no automatic numbering. … must be inside math delimiters in order to be rendered by the auto-render extension.

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.

\tag can not yet be applied to individual environment rows.

HTML

The following "raw HTML" features are potentially dangerous for untrusted inputs, so they are disabled by default, and attempting to use them produces the command names in red (which you can configure via the errorColor option). To fully trust your \(\LaTeX\) input, you need to pass an option of trust: true; you can also enable just some of the commands or for just some URLs via the trust option.

\(\href{https://katex.org/}{\KaTeX}\) \href{https://katex.org/}{\KaTeX}
\(\url{https://katex.org/}\) \url{https://katex.org/}
\(\includegraphics[height=0.8em, totalheight=0.9em, width=0.9em, alt=KA logo]{https://katex.org/img/khan-academy.png}\) \includegraphics[height=0.8em, totalheight=0.9em, width=0.9em, alt=KA logo]{https://katex.org/img/khan-academy.png}
\(\htmlId{bar}{x}\) \htmlId{bar}{x}
\(\htmlClass{foo}{x}\) \htmlClass{foo}{x}
\(\htmlStyle{color: red;}{x}\) \htmlStyle{color: red;}{x}
\(\htmlData{foo=a, bar=b}{x}\) \htmlData{foo=a, bar=b}{x}

\includegraphics supports height, width, totalheight, and alt in its first argument. height is required.

HTML extension (\html-prefixed) commands are non-standard, so loosening strict option for htmlExtension is required.

Letters and Unicode

Greek Letters

Direct Input: \(\Alpha\Beta\Gamma\Delta\Epsilon\Zeta\Eta\Theta\Iota\Kappa\Lambda\Mu\Nu\Xi\Omicron\Pi\Rho\Sigma\Tau\Upsilon\Phi\Chi\Psi\Omega\alpha\beta\gamma\delta\epsilon\zeta\eta\theta\iota\kappa\lambda\mu\nu\xi\omicron\pi\rho\sigma\tau\upsilon\phi\chi\psi\omega\varepsilon\vartheta\varpi\varrho\varsigma\varphi\digamma\)

\(\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
\(\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\) \Im \(\Reals\) \Reals \(\text{\OE}\) \text{\OE}
\(\jmath\) \jmath \(\partial\) \partial \(\image\) \image \(\wp\) \wp \(\text{\o}\) \text{\o}
\(\aleph\) \aleph \(\Game\) \Game \(\Bbbk\) \Bbbk \(\weierp\) \weierp \(\text{\O}\) \text{\O}
\(\alef\) \alef \(\Finv\) \Finv \(\N\) \N \(\Z\) \Z \(\text{\ss}\) \text{\ss}
\(\alefsym\) \alefsym \(\cnums\) \cnums \(\natnums\) \natnums \(\text{\aa}\) \text{\aa} \(\text{\i}\) \text{\i}
\(\beth\) \beth \(\Complex\) \Complex \(\R\) \R \(\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\) \hslash \(\reals\) \reals \(\text{\oe}\) \text{\oe}

Unicode Mathematical Alphanumeric Symbols

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

Unicode

The letters listed above will render properly in any \(\KaTeX\) rendering mode.

In addition, Armenian, Brahmic, Georgian, Chinese, Japanese, and Korean glyphs are always accepted in text mode. However, these glyphs will be rendered from system fonts (not \(\KaTeX\)-supplied fonts) so their typography may clash. You can provide rules for CSS classes .latin_fallback, .cyrillic_fallback, .brahmic_fallback, .georgian_fallback, .cjk_fallback, and .hangul_fallback to provide fallback fonts for these languages. Use of these glyphs may cause small vertical alignment issues: \(\KaTeX\) has detailed metrics for listed symbols and most Latin, Greek, and Cyrillic letters, but other accepted glyphs are treated as if they are each as tall as the letter M in the current \(\KaTeX\) font.

If the \(\KaTeX\) rendering mode is set to strict: false or strict: "warn" (default), then \(\KaTeX\) will accept all Unicode letters in both text and math mode. All unrecognized characters will be treated as if they appeared in text mode, and are subject to the same issues of using system fonts and possibly using incorrect vertical alignment.

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

Any character can be written with the \char function and the Unicode code in hex. For example \char"263a will render as \(\char"263a\)..

Layout

Annotation

\(\cancel{5}\) \cancel{5} \(\overbrace{a+b+c}^{\text{note}}\) \overbrace{a+b+c}^{\text{note}}
\(\bcancel{5}\) \bcancel{5} \(\underbrace{a+b+c}_{\text{note}}\) \underbrace{a+b+c}_{\text{note}}
\(\xcancel{ABC}\) \xcancel{ABC} \(\not =\) \not =
\(\sout{abc}\) \sout{abc} \(\boxed{\pi=\frac c d}\) \boxed{\pi=\frac c d}
\(a_{\angl n}\) $a_{\angl n} \(a_\angln\) a_\angln
\(\phase{-78^\circ}\) \phase{-78^\circ}

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

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

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

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

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.

Vertical Layout

\(x_n\) x_n \(\stackrel{!}{=}\) \stackrel{!}{=} \(a \atop b\) a \atop b
\(e^x\) e^x \(\overset{!}{=}\) \overset{!}{=} \(a\raisebox{0.25em}{\)b\(}c\) a\raisebox{0.25em}{$b$}c
\(_u^o\) _u^o \(\underset{!}{=}\) \underset{!}{=} \(a+\left(\vcenter{\hbox{\)\frac{\frac a b}c\(}}\right)\) a+\left(\vcenter{\hbox{$\frac{\frac a b}c$}}\right)
\[\sum_{\substack{0<1<m\\0<j<n}}\] \sum_{\substack{0<i<m\\0<j<n}}

\raisebox and \hbox put their argument into text mode. To raise math, nest $…$ delimiters inside the argument as shown above.

\vcenter can be written without an \hbox if the strict rendering option is false. In that case, omit the nested $…$ delimiters.

Overlap and Spacing

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

\[\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

Function Produces Function Produces
\, ³∕₁₈ em space \kern{distance} space, width = distance
\thinspace ³∕₁₈ em space \mkern{distance} space, width = distance
\> ⁴∕₁₈ em space \mskip{distance} space, width = distance
\: ⁴∕₁₈ em space \hskip{distance} space, width = distance
\medspace ⁴∕₁₈ em space \hspace{distance} space, width = distance
\; ⁵∕₁₈ em space \hspace*{distance} space, width = distance
\thickspace ⁵∕₁₈ em space \phantom{content} space the width and height of content
\enspace ½ em space \hphantom{content} space the width of content
\quad 1 em space \vphantom{content} a strut the height of content
\qquad 2 em space \! – ³∕₁₈ em space
~ non-breaking space \negthinspace – ³∕₁₈ em space
\<space> space \negmedspace – ⁴∕₁₈ em space
\nobreakspace non-breaking space \negthickspace – ⁵∕₁₈ em space
\space space \mathstrut \vphantom{(}

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.

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\ or\ \lnot\) \neg or \lnot

Macros

\(\def\foo{x^2} \foo + \foo\) \def\foo{x^2} \foo + \foo
\(\gdef\bar#1{#1^2} \bar{y} + \bar{y}\) \gdef\bar#1{#1^2} \bar{y} + \bar{y}
\edef\macroname#1#2…{definition to be expanded}
\xdef\macroname#1#2…{definition to be expanded}
\let\foo=\bar
\futurelet\foo\bar x
\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.

Macros defined by \gdef, \xdef, \global\def, \global\edef, \global\let, and \global\futurelet will persist between math expressions. (Exception: macro persistence may be disabled. There are legitimate security reasons for that.)

\(\KaTeX\) has no \par, so all macros are long by default and \long will be ignored.

Available functions include:

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

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

Operators

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

Binary Operators

\(+\) + \(\cdot\) \cdot \(\gtrdot\) \gtrdot \(x \pmod a\) x \pmod a
\(-\) - \(\cdotp\) \cdotp \(\intercal\) \intercal \(x \pod a\) x \pod a
\(/\) / \(\centerdot\) \centerdot \(\land\) \land \(\rhd\) \rhd
\(*\) * \(\circ\) \circ \(\leftthreetimes\) \leftthretimes \(\rightthreetimes\) \rightthreetimes
\(\amalg\) \amalg \(\circledast\) \circledast \(\ldotp\) \ldotp \(\rtimes\) \rtimes
\(\And\) \And \(\circledcirc\) \circledcic \(\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
\(\bmod\) \bmod \(\curlyvee\) \curlyvee \(x\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
\(\boxplus\) \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\ or\ \plusmn\) \pm or \lusmn \(\wr\) \wr

Fractions and Binomials

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

Math Operators

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

Functions in the bottom six rows of this table can take \limits.

\sqrt

\(\sqrt{x}\) \sqrt{x}

\(\sqrt[3]{x}\) \sqrt[3][x]

Relations

\(\stackrel{!}{=}\) \stackrel{!}{=}

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

Negated Relations

3 条评论

  • 1