KaTeX
转载于 https://www.luogu.com.cn/paste/hs3jg81l
用于测试本博客的渲染功能
受支持的功能
这是一张由 \(\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}
换行指令
\(\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$$的显示效果为
重叠和间距
| 第一列 | 第二列 |
|---|---|
\({=}\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离运算符较远。但是当我们用了这些指令，就可以自动缩小这个距离。
间隔
| 指令 | 备注 | 指令 | 备注 |
|---|---|---|---|
\, |
\(\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+x^2\) | \def\foo{x^2} \foo + \foo |
| \(y^2+y^2\) | \gdef\bar#1{#1^2} \bar{y} + \bar{y} |
\global\def\名称#1#2…{定义} |
|
\newcommand\名称[参数数量]{定义} |
|
\renewcommand\名称[参数数量]{定义} |
|
\providecommand\名称[参数数量]{定义} |
你同样可以在\(\KaTeX\)的渲染选项中定义宏。\(^{[12]}\)
宏最多接受九个参数：#1，#2等。
\ gdef和\ global \ def宏将在数学表达式之间保留。
这些都是合法的指令名称：
\char \mathchoice \TextOrMath \@ifstar \@ifnextchar \@firstoftwo \@secondoftwo \relax
@是命令的有效字符，就像你使用了\makeatletter指令。\(^{[13]}\)
\([12]:\) 宏定义类似于\(\rm C++\)中的\define，可以简化代码，也可以嵌套。
可能有人不怎么清楚宏定义的具体用法，这里举个栗子：
假设我们有一段代码：
$$
\color{red}{\text{Hello world!!}}\\
\color{red}{\text{Hello world!!}}\\
\color{red}{\text{Hello world!!}}\\
$$
但是这样非常麻烦，所以我们可以用宏定义简化一下。
$$
\def{\HelloWorld}{\color{red}{\text{Hello world!!}}\\}
\HelloWorld\HelloWorld\HelloWorld
$$
顺带解释一下一些细节。
-
\def,\newcommand之类都可以直接加自定义指令的名称，而不需要加括号。比如\def\kkksc03{AK IOI!}。 -
\gdef,\global\def用处比较诡异，一般用不到。和\def的区别是，\def如果在一定嵌套中定义，只能用在有限的定义域内。而\gdef一类相当于直接在全局定义。可能有点模糊，这里举个栗子：{\def\t{2333} \t}这句话定义后的\t只能在括号中使用，比如{\def\t{2333} \t}。而括号外会失效。{\def\t{2333}} \t会渲染失败。而如果使用\gdef一类，就会作用于“全局”。{\gdef\t{2333}} \t成功渲染。 -
关于下面三个
command的关系：\newcommand是定义一个新的指令，如果已经有同名指令，就会渲染失败。\renewcommand是重新定义指令。但是如果原来没有这个指令，也会渲染失败（迷惑行为）。\providecommand综合了上面两个指令的缺点，满足如果原来没有这个指令，就会定义一个；否则重新定义。（更迷惑了好不好）。 -
关于覆写的问题：正如上面提到的，
\def与\command系列一样，只能作用于一定范围内，因此覆写的效果仅支持于这个范围。但是，如果将这些指令放在代码开头，就相当于全局定义了。\gdef范围更广。\newcommand不支持覆写；\renewcommand只支持覆写；\providecommand和\def都支持覆写。 -
关于多参数：首先，\(\KaTeX\)不支持不定参。然后，
\def系列的参数可以这样定义：\def{\qwq}#1#2#3{#1+#2+#3=?}要强调的是，参数只能从#1开始排列，并且递增。比如，你要⑨个参数，只能这样写：\def{\名称}#1#2#3#4#5#6#7#8#9{定义}（非常迷惑）。而command系列相对方便，\newcommand{\名称}[参数数量]{定义}就可以了。 -
(总结：遇事不决用
\def，全局定义用\def，多参数还能用\def，\def天下第一
\([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
|
\ |