$KaTeX$ 公式书
\(\KaTeX\) 公式大全
本文转载自 https://www.luogu.com.cn/paste/hs3jg81l
前言
由于在洛谷，有很多人对于\(\KaTeX\)和\(\LaTeX\)之间的关系并不清楚，导致很多人去搜\(\LaTeX\)的资料，然后发现有许多指令无法在洛谷运行。
但是事实上，\(\KaTeX\)才是洛谷上的\(\LaTeX\)的渲染机制。因此只有\(\KaTeX\)支持的指令才能正常使用。在\(\KaTeX\)官网，其实有两张支持表，这里搬运过来以便于大家能够正确使用指令。
这张表应该涵盖了纯\(\KaTeX\)所有的功能。当然，\(\LaTeX\)公式大全亦可作为部分参考。下面是搬运部分。
受支持的功能
这是一张由\(\KaTeX\)支持的\(\TeX\)公式清单。他按照逻辑顺序分类。
这有一个相似的按照字典序排列的支持表。那张表格同样写出了不受支持的公式。
声调记号
| 第一列 | 第二列 | 第三列 |
|---|---|---|
\(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}
|
另外，还有一些上下音标适合用在\text{}环境下。\(^{[1]}\)
| 第一列 | 第二列 | 第三列 | 第四列 |
| :----------- | :----------- | :----------- | :----------- |
| \(\text{\'{a}}\) \'{a} | \(\text{\~{a}}\) \~{a} | \(\text{\.{a}}\) \.{a} | \(\text{\H{a}}\) \H{a} |
| \(\text{\`{a}}\) \(^{[2]}\)| \(\text{\={a}}\) \={a} | \(\text{\"{a}}\) \"{a} | $\text{\v{a}} $ \v{a} |
| \(\text{\^{a}}\) \^{a} | \(\text{\u{a}}\) \u{a} | \(\text{\r{a}}\) \r{a} | |
\([1]:\) 这类特殊的音标需要用在文字环境下，即\text{}里面。比如$\text{\'{a}}$
\([2]:\) 由于会和\(\rm Markdown\)的代码块冲突，这里说明一下，这个音标的代码其实是\+波浪线对应按键+{}。
另请参阅 字母 章节。
定界符（括号之类）
| 第一列 | 第二列 | 第三列 | 第四列 | 第五列 |
|---|---|---|---|---|
\(()\) ()
|
\(\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
|
\(^{[3]}\) |
|
\(\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.\(^{[4]}\)
|
\right. |
\(\backslash\) \backslash
|
\(\lang\rang\) \lang\rang
|
\(\lt \gt\)\lt \gt
|
\(⟦ ⟧\)⟦ ⟧
|
\(\llbracket\rrbracket\) \llbracket\rrbracket
|
\(\lBrace \rBrace\) \lBrace \rBrace
|
\([3]:\) 由于\(\rm Markdown\)的制表与|有冲突，因此无法在表格中显示 \(|\)。
\([4]:\) \left和\right后面直接加括号，能显示括号。（人类迷惑行为）
定界符大小\(^{[5]}\)
\(\left(\LARGE{AB}\right)\) \left(\LARGE{AB}\right)
\(( \big( \Big( \bigg( \Bigg(\) ( \big( \Big( \bigg( \Bigg(
\([5]:\) 这里定界符主要指括号。\(\KaTeX\)提供了一些指令来调整括号的大小。另外，这里\left,\right指令是自动调整括号大小。
| 第一列 | 第二列 | 第三列 | 第四列 | 第五列 |
|---|---|---|---|---|
\left |
\big |
\bigl |
\bigm |
\bigr |
\middle |
\Big |
\Bigl |
\Bigm |
\Bigr |
\right |
\bigg |
\biggl |
\biggm |
\biggr |
\Bigg |
\Biggl |
\Biggm |
\Biggr |
环境\(^{[6]}\)
| 第一列 | 第二列 | 第三列 | 第四列 |
|---|---|---|---|
| \(\begin{matrix}a & b \\c & d\end{matrix}\) | \(\begin{aligned}&\tt \backslash begin\{matrix\} \\&\tt\quad a \& b \backslash \backslash \\ &\tt\quad c \& d \\&\tt \backslash end{matrix} \\\end{aligned}\) | \(\begin{array}{cc}a & b \\c & d\end{array}\) | \(\begin{aligned}&\tt \backslash begin\{array\}\{cc\}\\&\tt\quad a \& b \backslash \backslash\\&\tt\quad c \& d\\&\tt \backslash end\{array\}\\\end{aligned}\) |
| \(\begin{pmatrix}a & b \\c & d\end{pmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{pmatrix\}\\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \& d\\&\tt\backslash end\{pmatrix\}\\\end{aligned}\) | \(\begin{bmatrix}a & b \\c & d\end{bmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{bmatrix\} \\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \& d \\&\tt\backslash end\{bmatrix\} \\\end{aligned}\) |
| \(\begin{vmatrix}a & b \\c & d\end{vmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{vmatrix\}\\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \ d\\&\tt\backslash end\{vmatrix\}\\\end{aligned}\) | \(\begin{Vmatrix}a & b \\c & d\end{Vmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{Vmatrix\}\\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \ d\\&\tt\backslash end\{Vmatrix\}\\\end{aligned}\) |
| \(\begin{Bmatrix}a & b \\c & d\end{Bmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{Bmatrix\}\\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \ d\\&\tt\backslash end\{Bmatrix\}\\\end{aligned}\) | \(\def\arraystretch{1.5} \begin{array}{c:c:c} a & b & c \\ \hline d & e & f \\\hdashline g & h & i\end{array}\) | \(\begin{aligned}&\tt\backslash def\backslash arraystretch\{1.5\}\\&\tt\quad \backslash begin\{array\}\{c:c:c\}\\&\tt\quad a \& b \& c \backslash\backslash \backslash hline\\&\tt\quad d \& e \& f \backslash \backslash\\&\tt\quad \backslash hdashline\\&\tt\quad g \& h \& i\\&\tt\backslash end\{array\}\end{aligned}\) |
| \(\begin{aligned}a&=b+c \\d+e&=f\end{aligned}\) | \(\begin{aligned}&\tt\backslash \{aligned\}\\&\tt\quad a\&=b+c \backslash \backslash \\&\tt\quad d+e\&=f\\&\tt\backslash end\{aligned\}\\\end{aligned}\) | \(\begin{alignedat}{2}10&x+ &3&y = 2 \\3&x+&13&y = 4\end{alignedat}\) | \(\begin{aligned}&\tt\backslash begin\{alignedat\}\{2\}\\&\tt\quad 10\&x+ \&3\&y = 2 \backslash \backslash \\&\tt\quad 3\&x+\&13\&y = 4\\&\tt\backslash end\{alignedat\}\\\end{aligned}\) |
| \(\begin{gathered}a=b \\e=b+c\end{gathered}\) | \(\begin{aligned}&\tt\backslash begin\{gathered\}\\&\tt\quad a=b \backslash\backslash\\&\tt\quad e=b+c\\&\tt\backslash end\{gathered\}\\\end{aligned}\) | \(x = \begin{cases}a &\text{if } b \\c &\text{if } d\end{cases}\) | \(\begin{aligned}&\tt x = \backslash begin\{cases\} \\&\tt\quad a \&\text\{if \} b \backslash\backslash \\&\tt\quad c \&\text\{if \} d\\&\tt\backslash end{cases}\\\end{aligned}\) |
| \(\begin{smallmatrix}a & b \\c & d\end{smallmatrix}\) | \(\begin{aligned}&\tt\backslash begin\{smallmatrix\}\\&\tt\quad a \& b \backslash \backslash \\&\tt\quad c \ d\\&\tt\backslash end\{smallmatrix\}\\\end{aligned}\) |
\([6]:\) 因为相关原因，在表格里换行不是很方便，因此这里直接嵌入的是\(\KaTeX\)。
\(\text{Unicode}\)\(^{[7]}\)数学字母、符号
| 字段 | 支持的字符 | 字段 | 支持的字符 |
|---|---|---|---|
| 粗体 | \(\textbf{A-Z,a-z,0-9}\) | 双线体 | \(\Bbb{A-Z,k}\) |
| 意大利斜体 | \(\textit{A-Z,a-z}\) | 无衬线字体 | \(\textsf{A-Z,a-z,0-9}\) |
| 粗意大利斜体 | \(\textbf{\textit{A-Z,a-z}}\) | 粗体无衬线 | \(\textsf{\textbf{A-Z,a-z,0-9}}\) |
| 手写体 | \(\mathscr{A-Z}\) | 斜体无衬线 | \(\textsf{\textit{A-Z,a-z }}\) |
| 花体 | \(\frak{A-Z,a-z}\) | 打字机字体 | \(\texttt{A-Z,a-z,0-9}\) |
\([7]:\) 这里\(\rm Unicode\)就是万国码。这里是指\(\rm Unicode\)里支持的字体样式。关于它们的指令，请参考下面的“字体”一段。
\(\text{Unicode}\)
上面列出的字母可以在任何\(\KaTeX\)模式下正确渲染。
此外，文本模式始终接受\(\text{Brahmic}\)，\(\text{Georgian}\)，中文，日文和韩文的字形。但是，这些字形将从系统字体（而不是\(\KaTeX\)提供的字体）中呈现，因此它们的版式可能会发生冲突。您可以为\(\text{CSS}\)类\(^{[8]}\).latin-fallback，.cyrillic-fallback，.brahmic-fallback，.georgian-fallback，.cjk-fallback和.hangul-fallback中提供规则，以为这些语言提供后备字体。这些字形的使用可能会引起小的垂直对齐问题：\(\KaTeX\)列出了符号、大多数拉丁字母、希腊和西里尔字母的详细大小度量值，但其他接受的字形则被视为与当前\(\KaTeX\)字体中的字母\(\text{M}\)一样高。（因此很多时候\(\KaTeX\)用字母\(M\)作为参考大小——编者注）
如果\(\KaTeX\)呈现模式的设置中，\(\text{strict}\)设置为了\(\text{false}\)或\(\text{warn}\)（默认），则\(\KaTeX\)将在文本和数学模式下接受所有\(\text{Unicode}\)字母。所有无法识别的字符将被视为它们以文本模式显示。这样可能会遇到使用系统字体以及使用不正确的垂直对齐方式的问题。
对于波斯语中的复合字符，我们正在开发为用户提供的插件。（虽然你可能不会使用它——编者注）
\([8]:\) 因为没怎么写过\(\rm CSS\)，所以可能说明上有一些问题。
布局
注解/标记
| 第一列 | 第二列 |
|---|---|
\(\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}
|
\tag{hi} x+y^{2x}
\[\tag{hi} x+y^{2x}\]
\tag*{hi} x+y^{2x}
\[\tag*{hi} x+y^{2x}\]
换行指令
\(\KaTeX\) \(0.10.0\)版本之后将在关系或二元运算符（例如“ \(=\)”或“ \(+\)”）之后的内联数学中自动插入换行符。你可以通过\nobreak或将公式放在一对大括号中来阻止自动换行，例如{F = ma}。\allowbreak将允许在关系或运算符以外的其他位置自动换行。
硬换行符是\\和\newline。\(^{[9]}\)
在数学模式中，\(\KaTeX\)不会自动插入换行符。但是当渲染选项\(\text{strict}\)设置为\(\text{true}\)时，它将忽略显示数学模式并且插入硬换行。
\([9]:\) 软换行换行不换段，硬换行换行也换段。简单来说，\(\KaTeX\)有时会自动换行，但换行之后仍在同一段，也就是软换行。而硬换行之后，两部分内容就分离了。
垂直布局
| 第一列 | 第二列 | 第三列 |
|---|---|---|
\(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{!}{=}
|
\(\sum\limits_{\substack{0<i<m\\0<j<n}}\) \sum_{\substack{0<i<m\\0<j<n}}
|
如果\raisebox的第二个参数嵌套在$...$分隔符内，则可以包含数学运算符，当然前提是整个公式包括在$$ $$当中。例如$$a\raisebox{0.25em}{$\frac a b$}c$$的显示效果为
\[a\raisebox{0.25em}{$\frac a b$}c\]
重叠和间距
| 第一列 | 第二列 |
|---|---|
\({=}\mathllap{/\,}\) {=}\mathllap{/\,}
|
\(\left(x^{\smash{2}}\right)\) \left(x^{\smash{2}}\right)
|
\(\mathrlap{\,/}{=}\) \mathrlap{\,/}{=}
|
\(\sqrt{\smash[b]{y}}\) \sqrt{\smash[b]{y}}
|
\(\sum\limits_{\mathclap{1\le i\le j\le n}} x_{ij}\) \sum_{\mathclap{1\le i\le j\le n}} x_{ij}
\(\KaTeX\)同样支持\llap\(^{[10]}\)，\rlap和\clap，但是它们仅能在文本模式中使用，而不是数学模式。
\([10]:\) 这里解释一下这个命令的用处：当我们使用巨运算符时，它的上标/下标可能过长，比如\(\sum\limits_{1\le i\le j \le k \le n}i\times j \times k\)，这样i*j*k离运算符较远。但是当我们用了这些指令，就可以自动缩小这个距离。
\[\sum\limits_{\mathclap{1\le i\le j \le k \le n}}i\times j \times k\]
间隔
| 指令 | 备注 | 指令 | 备注 |
|---|---|---|---|
\, |
\(\frac{3}{18}\) \(\rm em\)\(^{[11]}\) 的间距 | \kern{distance} |
宽度为distance的间距 |
\thinspace |
\(\frac{3}{18}\) \(\rm em\) 的间距 | \mkern{distance} |
宽度为distance的间距 |
\> |
\(\frac{4}{18}\) \(\rm em\) 的间距 | \mskip{distance} |
宽度为distance的间距 |
\: |
\(\frac{4}{18}\) \(\rm em\) 的间距 | \hskip{distance} |
宽度为distance的间距 |
\medspace |
\(\frac{4}{18}\) \(\rm em\) 的间距 | \hspace{distance} |
宽度为distance的间距 |
\; |
\(\frac{5}{18}\) \(\rm em\) 间距 | \hspace*{distance} |
宽度为distance的间距 |
\thickspace |
\(\frac{5}{18}\) \(\rm em\) 间距 | \phantom{content} |
长与高等于参数的间距 |
\enspace |
\(\frac{1}{2}\) \(\rm em\) 间距 | \hphantom{content} |
高度等于参数的间距 |
\quad |
\(1\) \(\rm em\) 间距 | \vphantom{content} |
高度等于参数的间距 |
\qquad |
\(2\) \(\rm em\) 间距 | \! |
– \(\frac{3}{18}\) \(\rm em\) 间距 |
~ |
不换行间距 | \negthinspace |
– \(\frac{3}{18}\) \(\rm em\) 间距 |
\<space> |
间距 | \negmedspace |
– \(\frac{4}{18}\) \(\rm em\) 间距 |
\nobreakspace |
不换行间距 | \negthickspace |
– \(\frac{5}{18}\) \(\rm em\) 间距 |
\space |
普通的空格 |
\([11]:\) 有关单位，请参考下方的“单位”一段。
提示
distance参数可以接受任何\(\KaTeX\)的单位。
\kern，\mkern，\mskip和\hspace都可以直接加上距离参数，例如，\kern1em可以生成一个宽度为\(\rm 1em\)的空格。
\mkern和\mskip在文本模式下不起作用，并且两者都将为mu以外的任何单位显示警告。
逻辑与集合符号
| 第一列 | 第二列 | 第三列 | 第四列 |
|---|---|---|---|
\(\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 或者 \lnot
|
你也可以直接输入这些：\(∀∴∁∵∃∣∈∋⊂⊃∧∨↦→←↔¬ ℂ ℍ ℕ ℙ ℚ ℝ\)
宏定义
| 显示效果 | 代码 |
|---|---|
| \(x^2+y^2\) | \def\foo{x^2} \foo + \foo |
| \(y^2+y^2\) | \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} |
你同样可以在\(\KaTeX\)的渲染选项中定义宏。\(^{[12]}\)
宏最多接受九个参数：#1，#2等。
gdef和 global def宏将在数学表达式之间保留。
这些都是合法的指令名称：
\char \mathchoice \TextOrMath \@ifstar \@ifnextchar \@firstoftwo \@secondoftwo \relax
@是命令的有效字符，就像你使用了\makeatletter指令。\(^{[13]}\)
\([12]:\) 宏定义类似于\(\rm C++\)中的\define，可以简化代码，也可以嵌套。
\([13]:\) 解释一下\makeatletter指令：因为部分原因，我们在\(\TeX\)中无法使用@作为指令名称，除非使用这个指令。而\(\KaTeX\)中的@则不需要，所以说“就像你使用了\makeatletter指令”。
运算符
巨型运算符\(^{[14]}\)
| 第一列 | 第二列 | 第三列 | 第四列 |
|---|---|---|---|
\(\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
|
当然，你也可以直接输入这些： \(∫∬∭∮∏∐∑⋀⋁⋂⋃⨀⨁⨂⨄⨆\)
\([14]:\) 这里的巨型运算符在居中情况下自动变大，都支持上下标摆放在上下两侧。
二元运算符
| 第一列 | 第二列 | 第三列 | 第四列 |
|---|---|---|---|
\(+\) +
|
\(\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\) \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
|
\(\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
|
\(\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 或者\plusmn
|
\(\wr\) \wr
|
当然，你也可以直接输入这些：\(+−/∗⋅±×÷∓∔∧∨∩∪≀⊎⊓⊔⊕⊖⊗⊘⊙⊚⊛⊝\)
分数和二项式
| 第一列 | 第二列 | 第三列 |
|---|---|---|
\(\frac{a}{b}\) \frac{a}{b}
|
\(\tfrac{a}{b}\) \tfrac{a}{b}\(^{[15]}\)
|
\(\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}
|
\(\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}
|
\([15]:\) 在洛谷讨论区的\(\KaTeX\)版本中，有个\(\rm Bug\)：嵌套使用\tfrac{}{}会导致字体膨胀。
数学运算符
| 第一列 | 第二列 | 第三列 | 第四列 |
|---|---|---|---|
\(\arcsin\) \arcsin
|
\(\cotg\) \cotg
|
\(\ln\) \ln
|
\(\det\) \det
|
\(\arccos\) \arccos
|
\(\coth\) \coth
|
\(\log\) \log
|
\(\gcd\) \gcd
|
\(\arctan\) \arctan
|
\(\csc\) \csc
|
\(\sec\) \sec
|
\(\inf\) \inf
|
\(\arctg\) \arctg
|
\(\ctg\) \ctg
|
\(\sin\) \sin
|
\(\lim\) \lim
|
\(\arcctg\) \arcctg
|
\(\cth\) \cth
|
\(\sinh\) \sinh
|
\(\liminf\) \liminf
|
\(\arg\) \arg
|
\(\deg\) \deg
|
\(\sh\) \sh
|
\(\limsup\) \limsup
|
\(\ch\) \ch
|
\(\dim\) \dim
|
\(\tan\) \tan
|
\(\max\) \max
|
\(\cos\) \cos
|
\(\exp\) \exp
|
\(\tanh\) \tanh
|
\(\min\) \min
|
\(\cosec\) \cosec
|
\(\hom\) \hom
|
\(\tg\) \tg
|
\(\Pr\) \Pr
|
\(\cosh\) \cosh
|
\(\ker\) \ker
|
\(\th\) \th
|
\(\sup\) \sup
|
\(\cot\) \cot
|
\(\lg\) \lg
|
\(\argmax\) \argmax
|
\(\argmin\) \argmin
|
\(\plim\) \plim
|
\(\operatorname{f}\) \operatorname{f}
|
\(\operatorname*{f}\) \operatorname*{f}
|
参数显示在右侧的公式，如\(\sum_{i=1}^{n}\)可以使用\limits强行显示在上下侧，\(\sum\limits_{i=1}^{n}\)，\sum\limits_{i=1}^{n}
开根
\(\sqrt{x}\) \sqrt{x}
\(\sqrt[3]{x}\) \sqrt[3]{x}
关系指令
\(\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 或者 \sub
|
\(\approx\) \approx
|
\(\Eqqcolon\) \Eqqcolon
|
\(\ll\) \ll
|
\(\subseteq\) \subseteq 或者 \sube
|
\(\approxeq\) \approxeq
|
\(\eqsim\) \eqsim
|
\(\lll\) \lll
|
\(\subseteqq\) \subseteqq
|
\(\asymp\) \asymp
|
\(\eqslantgtr\) \eqslantgtr
|
\(\llless\) \llless
|
\(\succ\) \succ
|
\(\backepsilon\) \backepsilon
|
下一篇： 谈论 Oracle 存储过程和变量赋值 |