LaTeX

介绍

什么是 LaTeX

LaTeX（读作/ˈlɑːtɛx/或/ˈleɪtɛx/）是一个让你的文档看起来更专业的排版系统，而不是文字处理器。它尤其适合处理篇幅较长、结构严谨的文档，并且十分擅长处理公式表达。它是免费的软件，对大多数操作系统都适用。

LaTeX 基于 TeX（Donald Knuth 在 1978 年为数字化排版设计的排版系统）。TeX 是一种电脑能够处理的低级语言，但大多数人发现它很难使用。LaTeX 正是为了让它变得更加易用而设计的。目前 LaTeX 的版本是 LaTeX 2e。

如果你习惯于使用微软的 Office Word 处理文档，那么你会觉得 LaTeX 的工作方式让你很不习惯。Word 是典型的「所见即所得」的编辑器，你可以在编排文档的时侯查看到最终的排版效果。但使用 LaTeX 时你并不能方便地查看最终效果，这使得你专注于内容而不是外观的调整。

一个 LaTeX 文档是一个以 .tex 结尾的文本文件，可以使用任意的文本编辑器编辑，比如 Notepad，但对于大多数人而言，使用一个合适的 LaTeX 编辑器会使得编辑的过程容易很多。在编辑的过程中你可以标记文档的结构。完成后你可以进行编译——这意味着将它转化为另一种格式的文档。它支持多种格式，但最常用的是 PDF 文档格式。

在开始之前

下面列出在本文中使用到的记号：

• 希望你实施的操作会被打上一个箭头 $\rightarrow$；
• 你输入的字符会被装进代码块中；
• 菜单命令与按钮的名称会被标记为 粗体。

一些概念

如果需要编写 LaTeX 文档，你需要安装一个「发行版」，常用的发行版有 TeX Live、MikTeX 和适用于 macOS 用户的 MacTeX（实际上是 TeX Live 的 macOS 版本），至于 CTeX 则现在不推荐使用。TeX Live 和 MacTeX 带有几乎所有的 LaTeX 宏包；而 MikTeX 只带有少量必须的宏包，其他宏包将在需要时安装。

TeX Live 和 MikTeX 都带有 TeXworks 编辑器，你也可以安装功能更多的 TeXstudio 编辑器，或者自行配置 Visual Studio Code 或 Notepad++ 等编辑器。下文所使用的编辑器是运行在 Windows 7 上的 TeXworks。

大部分发行版都带有多个引擎，如 pdfTeX 和 XeTeX。对于中文用户，推荐使用 XeTeX 以获得 Unicode 支持。

TeX 有多种格式，如 Plain TeX 和 LaTeX。现在一般使用 LaTeX 格式。所以，你需要使用与你所使用的格式打包在一起的引擎。如对于 pdfTeX，你需要使用 pdfLaTeX，对于 XeTeX 则是 XeLaTeX。

扩展阅读：TeX 引擎、格式、发行版之介绍。

环境配置

对于 Windows 用户，你需要下载 TeX Live 或 MikTeX。国内用户可以使用 清华大学 TUNA 镜像站，请点击页面右侧的「获取下载链接」按钮，并选择「应用软件」标签下的「TeX 排版系统」即可下载 TeX Live 或 MikTeX 的安装包，其中 TeX Live 的安装包是一个 ISO 文件，需要挂载后以管理员权限执行 install-tl-advanced.bat。

对于 macOS 用户，清华大学 TUNA 镜像站同样提供 MacTeX 和 macOS 版 MikTeX 的下载。

对于 Linux 用户，如果使用 TeX Live，则同样下载 ISO 文件，执行 install-tl 脚本；如果使用 MikTeX，则按照 官方文档 进行安装。

文档结构

基本要素

$\rightarrow$ 打开 TeXworks。

一个新的文档会被自动打开。

$\rightarrow$ 进入 Format 菜单，选择 Line Numbers。

行号并不是要素，但它可以帮助你比较代码与屏幕信息，找到错误。

$\rightarrow$ 进入 Format 菜单，选择 Syntax Coloring，然后选择 LaTeX。

语法色彩会高亮代码，使得代码更加易读。

$\rightarrow$ 输入以下文字：

\documentclass[a4paper, 12pt]{article}

\begin{document}
  A sentence of text.
\end{document}

\documentclass 命令必须出现在每个 LaTeX 文档的开头。花括号内的文本指定了文档的类型。article 文档类型适合较短的文章，比如期刊文章和短篇报告。其他文档类型包括 report（适用于更长的多章节的文档，比如博士生论文），proc（会议论文集），book 和 beamer。方括号内的文本指定了一些选项——示例中它设置纸张大小为 A4，主要文字大小为 12pt。

\begin{document} 和 \end{document} 命令将你的文本内容包裹起来。任何在 \begin{documnet} 之前的文本都被视为前导命令，会影响整个文档。任何在 \end{document} 之后的文本都会被忽视。

空行不是必要的，但它可以让长的文档更易读。

$\rightarrow$ 按下 Save 按扭；$\rightarrow$ 在 Libraries>Documents 中新建一个名为 LaTeX course 文件夹；$\rightarrow$ 将你的文档命名为 Doc1 并将其保存为 TeX document 放在这个文件夹中。

将不同的 LaTeX 文档放在不同的目录下，在编译的时候组合多个文件是一个很好的想法。

$\rightarrow$ 确保 typeset 菜单设置为了 xeLaTeX。$\rightarrow$ 点击 Typeset 按扭。

这时你的源文件会被转换为 PDF 文档，这需要花费一定的时间。在编译结束后，TeXworks 的 PDF 查看器会打开并预览生成的文件。PDF 文件会被自动地保存在与 TeX 文档相同的目录下。

处理问题

如果在你的文档中存在错误，TeXworks 无法创建 PDF 文档时，Typeset 按扭会变成一个红叉，并且底部的终端输出会保持展开。这时：

$\rightarrow$ 点击 Abort typesetting 按扭。$\rightarrow$ 阅读终端输出的内容，最后一行可能会给出行号表示出现错误的位置。$\rightarrow$ 找到文档中对应的行并修复错误。$\rightarrow$ 再次点击 Typeset 按扭尝试编译源文件。

添加文档标题

\maketitle 命令可以给文档创建标题。你需要指定文档的标题。如果没有指定日期，就会使用现在的时间，作者是可选的。

$\rightarrow$ 在 \begin{document} 和 命令后紧跟着输入以下文本：

\title{My First Document}
\author{My Name}
\date{\today}
\maketitle

你的文档现在长成了这样：

\documentclass[a4paper, 12pt]{article}

\begin{document}
  \title{My First Document}
  \author{My Name}
  \date{\today}
  \maketitle

  A sentence of text.
\end{document}

$\rightarrow$ 点击 Typeset 按扭，核对生成的 PDF 文档。

要点笔记：

• \today 是插入当前时间的命令。你也可以输入一个不同的时间，比如 \date{November 2013}。
• article 文档的正文会紧跟着标题之后在同一页上排版。report 会将标题置为单独的一页。

章节

如果需要的话，你可能想将你的文档分为章（Chatpers）、节（Sections）和小节（Subsections）。下列分节命令适用于 article 类型的文档：

• \section{...}
• \subsection{...}
• \subsubsection{...}
• \paragraph{...}
• \subparagraph{...}

花括号内的文本表示章节的标题。对于 report 和 book 类型的文档我们还支持 \chapter{...} 的命令。

$\rightarrow$ 将 "A sentence of text." 替换为以下文本：

\section{Introduction}
This is the introduction.

\section{Methods}

\subsection{Stage 1}
The first part of the methods.

\subsection{Stage 2}
The second part of the methods.

\section{Results}
Here are my results.

你的文档会变成

\documentclass[a4paper, 12pt]{article}

\begin{document}
  \title{My First Document}
  \author{My Name}
  \date{\today}
  \maketitle

  \section{Introduction}
  This is the introduction.

  \section{Methods}

  \subsection{Stage 1}
  The first part of the methods.

  \subsection{Stage 2}
  The second part of the methods.

  \section{Results}
  Here are my results.
\end{document}

$\rightarrow$ 点击 Typeset 按扭，核对 PDF 文档。应该是长这样的：

创建标签

你可以对任意章节命令创建标签，这样他们可以在文档的其他部分被引用。使用 \label{labelname} 对章节创建标签。然后输入 \ref{labelname} 或者 \pageref{labelname} 来引用对应的章节。

$\rightarrow$ 在 \subsection{Stage 1} 下面另起一行，输入 \label{sec1}。$\rightarrow$ 在 Results 章节输入 Referring to section \ref{sec1} on page \pageref{sec1}。

你的文档会变成这样：

\documentclass[a4paper, 12pt]{article}

\begin{document}
  \title{My First Document}
  \author{My Name}
  \date{\today}
  \maketitle

  \section{Introduction}
  This is the introduction.

  \section{Methods}

  \subsection{Stage 1}
  \label{sec1} The first part of the methods.

  \subsection{Stage 2}
  The second part of the methods.

  \section{Results}
  Here are my results. Referring to section \ref{sec1} on page \pageref{sec1}
\end{document}

$\rightarrow$ 编译并检查 PDF 文档（你可能需要连续编译两次）：

生成目录（TOC）

如果你使用分节命令，那么可以容易地生成一个目录。使用 \tableofcontents 在文档中创建目录。通常我们会在标题的后面建立目录。

你可能也想也想更改页码为罗马数字（i,ii,iii）。这会确保文档的正文从第 1 页开始。页码可以使用 \pagenumbering{...} 在阿拉伯数字和罗马数字见切换。

$\rightarrow$ 在 \maketitle 之后输入以下内容：

\pagenumbering{roman}
\tableofcontents
\newpage
\pagenumbering{arabic}

\newpage 命令会另起一个页面，这样我们就可以看到 \pagenumbering 命令带来的影响了。你的文档的前 14 行长这样：

\documentclass[a4paper, 12pt]{article}

\begin{document}

\title{My First Document}
\author{My Name}
\date{\today}
\maketitle

\pagenumbering{roman}
\tableofcontents
\newpage
\pagenumbering{arabic}

$\rightarrow$ 编译并核对文档（可能需要多次编译，下文不赘述）。

文档的第一页长这样：

第二页：

文字处理

中文字体支持

阅读本文学习 LaTeX 的人，首要学会的自然是 LaTeX 的中文字体支持。事实上，让 LaTeX 支持中文字体有许多方法。在此我们仅给出最 简洁 的解决方案：使用 CTeX 宏包。只需要在文档的前导命令部分添加：

\usepackage[UTF8]{ctex}

就可以了。在编译文档的时侯使用 xelatex 命令，因为它是支持中文字体的。

字体效果

LaTeX 有多种不同的字体效果，在此列举一部分：

\textit{words in italics} \textsl{words slanted} \textsc{words in smallcaps} \textbf{words
in bold} \texttt{words in teletype} \textsf{sans serif words} \textrm{roman
words} \underline{underlined words}

效果如下：

$\rightarrow$ 在你的文档中添加更多的文本并尝试各种字体效果。

彩色字体

为了让你的文档支持彩色字体，你需要使用包（package）。你可以引用很多包来增强 LaTeX 的排版效果。包引用的命令放置在文档的前导命令的位置（即放在 \begin{document} 命令之前）。使用 \usepackage[options]{package} 来引用包。其中 package 是包的名称，而 options 是指定包的特征的一些参数。

使用 \usepackage{color} 后，我们可以调用常见的颜色：

使用彩色字体的代码为

{\color{colorname}text}

其中 colorname 是你想要的颜色的名字，text 是你的彩色文本内容。注意到示例效果中的黄色与白色是有文字背景色的，这个我们同样可以使用 Color 包中的 \colorbox 命令来达到。用法如下：

\colorbox{colorname}{text}

$\rightarrow$ 在 \begin{document} 前输入 \usepackage{color}。$\rightarrow$ 在文档内容中输入 {\color{red}fire}。$\rightarrow$ 编译并核对 PDF 文档内容。

单词 fire 应该是红色的。

你也可以添加一些参数来调用更多的颜色，甚至自定义你需要的颜色。但这部分超出了本书的内容。如果想要获取更多关于彩色文本的内容请阅读 LaTeX Wikibook 的 Colors 章节。

字体大小

接下来我们列举一些 LaTeX 的字体大小设定命令：

normal size words {\tiny tiny words} {\scriptsize scriptsize words}
{\footnotesize footnotesize words} {\small small words} {\large large words}
{\Large Large words} {\LARGE LARGE words} {\huge huge words}

效果如下：

$\rightarrow$ 尝试为你的文本调整字体大小。

段落缩进

LaTeX 默认每个章节第一段首行顶格，之后的段落首行缩进。如果想要段落顶格，在要顶格的段落前加 \noindent 命令即可。如果希望全局所有段落都顶格，在文档的某一位置使用 \setlength{\parindent}{0pt} 命令，之后的所有段落都会顶格。

列表

LaTeX 支持两种类型的列表：有序列表（enumerate）和无序列表（itemize）。列表中的元素定义为 \item。列表可以有子列表。

$\rightarrow$ 输入下面的内容来生成一个有序列表套无序列表：

\begin{enumerate}
  \item First thing

  \item Second thing
    \begin{itemize}
      \item A sub-thing

      \item Another sub-thing
    \end{itemize}

  \item Third thing
\end{enumerate}

$\rightarrow$ 编译并核对 PDF 文档。

列表长这样：

可以使用方括号参数来修改无序列表头的标志。例如，\item[-] 会使用一个杠作为标志，你甚至可以使用一个单词，比如 \item[One]。

下面的代码：

\begin{itemize}
  \item[-] First thing

  \item[+] Second thing
    \begin{itemize}
      \item[Fish] A sub-thing

      \item[Plants] Another sub-thing
    \end{itemize}

  \item[Q] Third thing
\end{itemize}

生成的效果为

注释和空格

我们使用 % 创建一个单行注释，在这个字符之后的该行上的内容都会被忽略，直到下一行开始。

下面的代码：

It is a truth universally acknowledged% Note comic irony
in the very first sentence , that a single man in possession of a good fortune,
must be in want of a wife.

生成的结果为

多个连续空格在 LaTeX 中被视为一个空格。多个连续空行被视为一个空行。空行的主要功能是开始一个新的段落。通常来说，LaTeX 忽略空行和其他空白字符，两个反斜杠（\\）可以被用来换行。

$\rightarrow$ 尝试在你的文档中添加注释和空行。

如果你想要在你的文档中添加空格，你可以使用 \vaspace{...} 的命令。这样可以添加竖着的空格，高度可以指定。如 \vspace{12pt} 会产生一个空格，高度等于 12pt 的文字的高度。

特殊字符

下列字符在 LaTeX 中属于特殊字符：

# $ % ^ & _ { } ~ \

为了使用这些字符，我们需要在他们前面添加反斜杠进行转义：

\# \$ \% \^{} \& \_ \{ \} \~{}

注意在使用 ^ 和 ~ 字符的时侯需要在后面紧跟一对闭合的花括号，否则他们就会被解释为字母的上标，就像 \^ e 会变成 $\mathrm {\hat{e}}$。上面的代码生成的效果如下：

注意，反斜杠不能通过反斜杠转义（不然就变成了换行了），使用 \textbackslash 命令代替。

$\rightarrow$ 输入代码来在你的文档中生成下面内容：

询问专家或者查看本页面的 源代码 获取帮助。

表格

表格（tabular）命令用于排版表格。LaTeX 默认表格是没有横向和竖向的分割线的——如果你需要，你得手动设定。LaTeX 会根据内容自动设置表格的宽度。下面的代码可以创一个表格：

\begin{tabular}{...}

省略号会由定义表格的列的代码替换：

• l 表示一个左对齐的列；
• r 表示一个右对齐的列；
• c 表示一个向中对齐的列；
• | 表示一个列的竖线；

例如，{lll} 会生成一个三列的表格，并且保存向左对齐，没有显式的竖线；{|l|l|r|} 会生成一个三列表格，前两列左对齐，最后一列右对齐，并且相邻两列之间有显式的竖线。

表格的数据在 \begin{tabular} 后输入：

• & 用于分割列；
• \\ 用于换行；
• \hline 表示插入一个贯穿所有列的横着的分割线；
• \cline{1-2} 会在第一列和第二列插入一个横着的分割线。

最后使用 \end{tabular} 结束表格。举一些例子：

\begin{tabular}{|l|l|}
  Apples       & Green  \\
  Strawberries & Red    \\
  Orange       & Orange \\
\end{tabular}

\begin{tabular}{rc}
  Apples              & Green  \\
  \hline
  Strawberries        & Red    \\
  \cline{1-1} Oranges & Orange \\
\end{tabular}

\begin{tabular}{|r|l|}
  \hline
  8              & here's \\
  \cline{2-2} 86 & stuff  \\
  \hline
  \hline
  2008           & now    \\
  \hline
\end{tabular}

效果如下：

实践

尝试画出下列表格：

图表

本章介绍如何在 LaTeX 文档中插入图表。这里我们需要引入 graphicx 包。图片应当是 PDF，PNG，JPEG 或者 GIF 文件。下面的代码会插入一个名为 myimage 的图片：

\begin{figure}[h]
  \centering
  \includegraphics[width=1\textwidth]{myimage}
  \caption{Here is my image}
  \label{image-myimage}
\end{figure}

[h] 是位置参数，h 表示把图表近似地放置在这里（如果能放得下）。有其他的选项：t 表示放在在页面顶端；b 表示放在在页面的底端；p 表示另起一页放置图表。你也可以添加一个 ! 参数来强制放在参数指定的位置（尽管这样排版的效果可能不太好）。

\centering 将图片放置在页面的中央。如果没有该命令会默认左对齐。使用它的效果是很好的，因为图表的标题也是居中对齐的。

\includegraphics{...} 命令可以自动将图放置到你的文档中，图片文件应当与 TeX 文件放在同一目录下。

[width=1\textwidth] 是一个可选的参数，它指定图片的宽度——与文本的宽度相同。宽度也可以以厘米为单位。你也可以使用 [scale=0.5] 将图片按比例缩小（示例相当于缩小一半）。

\caption{...} 定义了图表的标题。如果使用了它，LaTeX 会给你的图表添加「Figure」开头的序号。你可以使用 \listoffigures 来生成一个图表的目录。

\label{...} 创建了一个可以供你引用的标签。

实践

$\rightarrow$ 在你文档的前导命令中添加 \usepackage{graphicx}。$\rightarrow$ 找到一张图片，放置在你的 LaTeX course 文件夹下。$\rightarrow$ 在你想要添加图片的地方输入以下内容：

\begin{figure}[h!]
  \centering
  \includegraphics[width=1\textwidth]{ImageFilename}
  \caption{My test image}
\end{figure}

将 ImageFilename 替换为你的文件的名字（不包括后缀）。如果你的文件名有空格，就使用双引号包裹，比如 "screen 20"。

$\rightarrow$ 编译并核对文件。

公式

使用 LaTeX 的主要原因之一是它可以方便地排版公式。我们使用数学模式来排版公式。

插入公式

你可以使用一对 $ 来启用数学模式，这可以用于撰写行内数学公式。例如 $1+2=3$ 的生成效果是 $1+2=3$。

如果你想要行间的公式，可以使用 $$...$$（现在我们推荐使用 \[...\]，因为前者可能产生不良间距）。例如，$$1+2=3$$ 的生产效果为

$$1+2=3$$

如果是生成带标号的公式，可以使用 \begin{equation}...\end{equation}。例如：

\begin{equation}
  1+2=3
\end{equation}

生成的效果为：

数字 6 代表的是章节的编号，仅当你的文档有设置章节时才会出现，比如 report 类型的文档。

使用 \begin{eqnarray}...\end{eqnarray} 来撰写一组带标号的公式。例如：

\begin{eqnarray}
  a & = & b + c \\
  & = & y - z
\end{eqnarray}

生成的效果为

要撰写不标号的公式就在环境标志的后面添加 * 字符，如 {equation*}，{eqnarray*}。

??? warning 可以发现，使用 eqnarray 时，会出现等号周围的空隙过大之类的问题。

可以使用 amsmath 宏包中的 align 环境：

\usepackage{amsmath}
...
\begin{align}
  a & = b + c \\
    & = y - z
\end{align}

或在行间公式中使用 aligned 环境。它们的名字后面加上星号后，公式就不带标号了。

详见 更多阅读 中第一篇资料的「4.4 多行公式」。

数学符号

尽管一些基础的符号可以直接键入，但大多数特殊符号需要使用命令来显示。

本书只是数学符号使用的入门教程，LaTeX Wikibook 的数学符号章节是另一个更好更完整的教程。如果想要了解更多关于数学符号的内容请移步。如果你想找到一个特定的符号，可以使用 Detexfiy，它可以识别手写字符。

上标和下标

上标（Powers）使用 ^ 来表示，比如 $n^2$ 生成的效果为 $n^2$。

下标（Indices）使用 _ 表示，比如 $2_a$ 生成的效果为 $2_a$。

如果上标或下标的内容包含多个字符，请使用花括号包裹起来。比如 $b_{a-2}$ 的效果为 $b_{a-2}$。

分数

分数使用 \frac{numerator}{denominator} 命令插入。比如 $$\frac{a}{3}$$ 的生成效果为

$$\frac{a}{3}$$

分数可以嵌套。比如 $$\frac{y}{\frac{3}{x}+b}$$ 的生成效果为

$$\frac{y}{\frac{3}{x}+b}$$

根号

我们使用 \sqrt{...} 命令插入根号。省略号的内容由被开根的内容替代。如果需要添加开根的次数，使用方括号括起来即可。

例如 $$\sqrt{y^2}$$ 的生成效果为

$$\sqrt{y^2}$$

而 $$\sqrt[x]{y^2}$$ 的生成效果为

$$\sqrt[x]{y^2}$$

求和与积分

使用 \sum 和 \int 来插入求和式与积分式。对于两种符号，上限使用 ^ 来表示，而下限使用 _ 表示。

$$\sum_{x=1}^5 y^z$$ 的生成效果为

$$\sum_{x=1}^5y^z$$

而 $$\int_a^b f(x)$$ 的生成效果为

$$\int_a^b f(x)$$

希腊字母

我们可以使用反斜杠加希腊字母的名称来表示一个希腊字母。名称的首字母的大小写决定希腊字母的形态。例如

• $\alpha$=$\alpha$
• $\beta$=$\beta$
• $\delta, \Delta$=$\delta, \Delta$
• $\pi, \Pi$=$\pi, \Pi$
• $\sigma, \Sigma$=$\sigma, \Sigma$
• $\phi, \Phi, \varphi$=$\phi, \Phi, \varphi$
• $\psi, \Psi$=$\psi, \Psi$
• $\omega, \Omega$=$\omega, \Omega$

实践

$\rightarrow$ 撰写代码来生成下列公式：

如果需要帮助，可以查看本页面的 源代码。

参考文献

介绍

LaTeX 可以轻松插入参考文献以及目录。本文会介绍如何使用另一个 BibTeX 文件来存储参考文献。

BibTeX 文件类型

BibTeX 文件包含了所有你想要在你文档中引用的文献。它的文件后缀名为 .bib。它的名字应设置为你的 TeX 文档的名字。.bib 文件是文本文件。你需要将你的参考文献按照下列格式输入：

@article{
    Birdetal2001,
    Author = {Bird, R. B. and Smith, E. A. and Bird, D. W.},
    Title = {The hunting handicap: costly signaling in human foraging strategies},
    Journal = {Behavioral Ecology and Sociobiology},
    Volume = {50},
    Pages = {9-19},
    Year = {2001} 
}

每一个参考文献先声名它的文献类型（reference type）。示例中使用的是 @article，其他的类型包括 @book，@incollection 用于引用一本书的中的章节，@inproceedings 用于引用会议论文。可以 在此 查看更多支持的类型。

接下来的花括号内首先要列出一个引用键值（citation key）。必须保证你引用的文献的引用键值是不同的。你可以自定义键值串，不过使用第一作者名字加上年分会是一个表义清晰的选择。

接下来的若干行包括文献的若干信息，格式如下：

Field name = {field contents},

你可以使用 LaTeX 命令来生成特殊的文字效果。比如意大利斜体可以使用 \emph{Rattus norvegicus}。

对于需要大写的字母，请用花括号包裹起来。BibTeX 会自动把标题中除第一个字母外所有大写字母替换为小写。比如 Dispersal in the contemporary United States 的生成效果为 $\text{Dispersal in the contemporary united states}$，而 Dispersal in the contemporary {U}nited {S}tates 的生成效果为 $\text{Dispersal in the contemporary United States}$。

你可以手写 BibTeX 文件，也可以使用软件来生成。

插入文献列表

使用下列命令在文档当前位置插入文献列表：

\bibliographystyle{plain}
\bibliography{references}

参考文献写在 references.bib 里。

参考文献标注

使用 \cite{citationkey} 来在你想要引用文献的地方插入一个标注。如果你不希望在正文中插入一个引用标注，但仍想要在文献列表中显示这次引用，使用 \nocite{citationkey} 命令。

想要在引用中插入页码信息，使用方括号：\cite[p. 215]{citationkay}。

要引用多个文献，使用逗号分隔：\cite{citation01,citation02,citation03}。

引用格式

数字标号引用

LaTeX 包含了多种行内数字标号引用的格式：

Plain 方括号包裹数字的形式，如 $[1]$。文献列表按照第一作者的字母表顺序排列。每一个作者的名字是全称。

Abbrv 与 plain 是相同的，但作者的名字是缩写。

Unsrt 与 plain 是相同的，但文献列表的排序按照在文中引用的先后顺序排列。

Alpha 与 plain 一样，但引用的标注是作者的名字与年份组合在一起，不是数字，如 $[Kop10]$。

作者日期引用

如果你想使用作者日期的引用，使用 natbib 包。它使用 \citep{...} 命令来生成一个方括号标注，如 $[Koppe,2010]$，使用 \citet{...} 来生成一个标注，只把年份放到方括号里，如 $Koppe [2010]$。在此 查看它的更多用法。

Natbib 包也有三种格式：plainnat，abbrvnat 和 unsrtnat，他们与 plain，abbrv 和 unsrt 的效果是一样的。

其他引用格式

如果你需要使用不同的格式，你需要在同一个文件夹下创建一个格式文件（.bst 文件），引用这个格式的时侯使用它的文件名调用 \bibliographystyle{...} 命令实现。

实践

$\rightarrow$ 在同一文件夹下新建一个同名的 BibTeX 文件，用正确的格式输入参考文献的信息。$\rightarrow$ 切换到 TeX 文档，并使用 \cite，\bibliographystyle 和 \bibliograph 命令来引用文献。$\rightarrow$ 编译 TeX 文件。$\rightarrow$ 切换到 BibTeX 文件，并编译（点击 Typeset 按扭）$\rightarrow$ 切换到 TeX 文件并编译它 两次，然后核对 PDF 文档。

---

上述内容为 OI-wiki 网站的教程。接下来会展示著名神犇（？）的译自 官网的内容。

---

前言

由于在洛谷，有很多人对于$\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
$\|$ |	$\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+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，可以简化代码，也可以嵌套。

可能有人不怎么清楚宏定义的具体用法，这里举个栗子：

假设我们有一段代码：

$$\begin{matrix} \color{red}{\text{Hello world!!}} \\ \color{red}{\text{Hello world!!}} \\ \color{red}{\text{Hello world!!}} \\ \end{matrix}$$

$$
\begin{matrix}
\color{red}{\text{Hello world!!}} \\
\color{red}{\text{Hello world!!}} \\
\color{red}{\text{Hello world!!}} \\
\end{matrix}
$$

但是这样非常麻烦，所以我们可以用宏定义简化一下。

$$
\begin{matrix}
\def{\HelloWorld}{\color{red}{\text{Hello world!!}} \\}
\ HelloWorld\ HelloWorld\ HelloWorld
\end{matrix}
$$

顺带解释一下一些细节。

• \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	$\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 或者 \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 或者 \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

当然，你也可以直接输入这些：

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

箭头

第一列	第二列	第三列
$\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

你也可以直接输入这些：$← ↑ → ↓ ↔ ↕ ↖ ↗ ↘ ↙ ↚ ↛ ↞ ↠ ↢ ↣ ↦ ↩ ↪ ↫ ↬ ↭ ↮ ↰ ↱↶ ↷ ↺ ↻ ↼ ↽ ↾ ↾ ↿ ⇀ ⇁ ⇂ ⇃ ⇄ ⇆ ⇇ ⇈ ⇉ ⇊ ⇋ ⇌⇍ ⇎ ⇏ ⇐ ⇑ ⇒ ⇓ ⇔ ⇕ ⇚ ⇛ ⇝ ⇠ ⇢$

箭头扩展$^{[16]}$

第一列	第二列
$\xleftarrow{abc}$ \xleftarrow{abc}	$\xrightarrow[under]{over}$ \xrightarrow[under]{over}
$\xLeftarrow{abc}$ \xLeftarrow{abc}	$\xRightarrow{abc}$ \xRightarrow{abc}
$\xleftrightarrow{abc}$ \xleftrightarrow{abc}	$\xLeftrightarrow{abc}$ \xLeftrightarrow{abc}
$\xhookleftarrow{abc}$ \xhookleftarrow{abc}	$\xhookrightarrow{abc}$ \xhookrightarrow{abc}
$\xtwoheadleftarrow{abc}$ \xtwoheadleftarrow{abc}	$\xtwoheadrightarrow{abc}$ \xtwoheadrightarrow{abc}
$\xleftharpoonup{abc}$ \xleftharpoonup{abc}	$\xrightharpoonup{abc}$ \xrightharpoonup{abc}
$\xleftharpoondown{abc}$ \xleftharpoondown{abc}	$\xrightharpoondown{abc}$ \xrightharpoondown{abc}
$\xleftrightharpoons{abc}$ \xleftrightharpoons{abc}	$\xrightleftharpoons{abc}$ \xrightleftharpoons{abc}
$\xtofrom{abc}$ \xtofrom{abc}	$\xmapsto{abc}$ \xmapsto{abc}
$\xlongequal{abc}$ \xlongequal{abc}

可扩展的箭头都可以用相同的方式接受可选参数，比如说，\xrightarrow[under]{over}显示出来就是$\xrightarrow[under]{over}$。

$[16]:$ 这里扩展箭头指箭头上下方可以放置文字，且箭头长度随文字长度的增加而增加。

样式，颜色，大小和字体

类的分配$^{[17]}$

\mathbin \mathclose \mathinner \mathop

\mathopen \mathord \mathpunct \mathrel

颜色

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

请注意，$\KaTeX$ 中的\color的作用类似于开关，使用后一定范围内所有的字体都会改变颜色。这与$\LaTeX$一致，但是与$\rm MathJax$不同。而$\KaTeX$得其他颜色指令中，它的颜色和内容都是参数；

$\textcolor{blue}{F=ma}$\textcolor{#228B22}{F=ma}

$\colorbox{aqua}{A}$\colorbox{aqua}{A}$^{[18]}$

$\fcolorbox{red}{aqua}{A}$ \fcolorbox{red}{aqua}{A}

对于颜色的名称，$\KaTeX$颜色函数将接受标准的$\rm HTML$预定义颜色名称。他们还将接受$\rm CSS$十六进制样式的$\rm RGB$参数，比如#ff0000表示红色，而其中的#是可选的。（不过洛谷讨论区版本较旧，因此在那里必须加#）。

$[18]:$ \colorbox和\fcolorbox 里面不能嵌套环境，但是\box能。

字体

第一列	第二列	第三列
$\mathrm{Ab0}$ \mathrm{Ab0}	$\mathbf{Ab0}$ \mathbf{Ab0}	$\mathit{Ab0}$ \mathit{Ab0}
$\mathnormal{Ab0}$ \mathnormal{Ab0}	$\textbf{Ab0}$ \textbf{Ab0}	$\textit{Ab0}$ \textit{Ab0}
$\textrm{Ab0}$ \textrm{Ab0}	$\bf{Ab0}$ \bf{Ab0}	$\it{Ab0}$ \it Ab0
$\rm{Ab0}$ \rm{Ab0}	$\bold{Ab0}$ \bold{Ab0}	$\textup{Ab0}$ \textup{Ab0}
$\textnormal{Ab0}$ \textnormal{Ab0}	$\boldsymbol{Ab0}$ \boldsymbol{Ab}	$\Bbb{AB}$ \Bbb{AB}
$\text{Ab0}$ \text{Ab0}	$\bm{Ab0}$ \bm{Ab0}	$\mathbb{AB}$ \mathbb{AB}
$\mathsf{Ab0}$ \mathsf{Ab0}	$\textmd{Ab0}$ \textmd{Ab0}	$\frak{Ab0}$ \frak{Ab0}
$\textsf{Ab0}$ \textsf{Ab0}	$\mathtt{Ab0}$ \mathtt{Ab0}	$\mathfrak{Ab0}$ \mathfrak{Ab0}
$\sf{Ab0}$ \sf Ab0	$\texttt{Ab0}$ \texttt{Ab0}	$\mathcal{AB0}$ \mathcal{AB0}
$\tt{Ab0}$ \tt Ab0	$\mathscr{AB}$ \mathscr{AB}

通过使用\textXX类型的字体指令，可以堆叠字体样式、粗细和形状。 因此\textsf{\textbf{H}}将渲染出$\textsf{\textbf{H}}$。其他字体指令不会堆叠，例如\mathsf{\mathbf{H}}将渲染出$\mathsf{\mathbf {H}}$。

如果KaTeX字体没有粗体字形，你可以使用\pmb指令可以模拟一个。例如，\pmb{\ mu}呈现为：$\pmb{\mu}$。（所以莫反一类文章的大量希腊字母粗体都可以用这种方法生成——编者注）。

大小

第一列	第二列
$\Huge AB$ \Huge AB	$\normalsize AB$ \normalsize AB
$\huge AB$ \huge AB	$\small AB$ \small AB
$\LARGE AB$ \LARGE AB	$\footnotesize AB$ \footnotesize AB
$\Large AB$ \Large AB	$\scriptsize AB$ \scriptsize AB
$\large AB$ \large AB	$\tiny AB$ \tiny AB

样式

显示效果	代码
$\displaystyle\sum_{i=1}^n$	\displaystyle\sum_{i=1}^n
$\textstyle\sum_{i=1}^n$	\textstyle\sum_{i=1}^n
$\scriptstyle x$	\scriptstyle x (The size of a first sub/superscript)
$\scriptscriptstyle x$	\scriptscriptstyle x (The size of subsequent sub/superscripts)
$\lim\limits_x$	\lim\limits_x
$\lim\nolimits_x$	\lim\nolimits_x
$\verb!x^2!$	\verb!x^2!$^{[19]}$

在居中的环境下（即在$$ $$当中），在\text{}里面可以放置$...$用来显示数学模式。

$[19]:$ \verb以两个感叹号作为括号，里面可以填充任意文字。使用等宽字体（打字机字体）。

符号和标点

第一列	第二列	第三列
% 注释	$\dots$ \dots	$\KaTeX$ \KaTeX
$\%$ \%	$\cdots$ \cdots	$\LaTeX$ \LaTeX
$\#$ \#	$\ddots$ \ddots	$\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
$\text{\textasciicircum}$ \text{\textasciicircum}	$\mathellipsis$ \mathellipsis	$\ddagger$ \ddagger
$^{[20]}$	$\text{\textellipsis}$ \text{\textellipsis}	$\text{\textdaggerdbl}$ \text{\textdaggerdbl}
$\text{\textquoteleft}$ text{\textquoteleft}	$\Box$ \Box	$\Dagger$ \Dagger
$\lq$ \lq	$\square$ \square	$\angle$ \angle
$\text{\textquoteright}$ \text{\textquoteright}	$\blacksquare$ \blacksquare	$\measuredangle$ \measuredangle
$\rq$ \rq	$\triangle$ \triangle	$\sphericalangle$ \sphericalangle
$\text{\textquotedblleft}$ \text{\textquotedblleft}	$\triangledown$ \triangledown	$\top$ \top
$"$ "	$\triangleleft$ \triangleleft	$\bot$ \bot
$\text{\textquotedblright}$ \text{\textquotedblright}	$\triangleright$ \triangleright	\$$ `\`
$\colon$ \colon	$\bigtriangledown$ \bigtriangledown	$\text{\textdollar}$ \text{\textdollar}
$\backprime$ \backprime	$\bigtriangleup$ \bigtriangleup	$\pounds$ \pounds
$\prime$ \prime	$\blacktriangle$ \blacktriangle	$\mathsterling$ \mathsterling
$\text{\textless}$ \text{\textless}	$\blacktriangledown$ \blacktriangledown	$\text{\textsterling}$ \text{\textsterling}
$\text{\textgreater}$ \text{\textgreater}	$\blacktriangleleft$ \blacktriangleleft	$\yen$ \yen
$\text{\textbar}$ \text{\textbar}	$\blacktriangleright$ \blacktriangleright	$\surd$ \surd
$\text{\textbardbl}$ \text{\textbardbl}	$\diamond$ \diamond	$\degree$ \degree
$\text{\textbraceleft}$ \text{\textbraceleft}	$\Diamond$ \Diamond	$\text{\textdegree}$ \text{\textdegree}
$\text{\textbraceright}$ \text{\textbraceright}	$\lozenge$ \lozenge	$\mho$ \mho
$\text{\textbackslash}$ \text{\textbackslash}	$\blacklozenge$ \blacklozenge	$\diagdown$ \diagdown
$\text{\P}$ \text{\P}	$\star$ \star	$\diagup$ \diagup
$\text{\S}$ \text{\S}	$\bigstar$ \bigstar	$\flat$ \flat
$\text{\sect}$ \text{\sect}	$\clubsuit$ \clubsuit	$\natural$ \natural
$\copyright$ \copyright	$\clubs$ \clubs	$\sharp$ \sharp
$\circledR$ \circledR	$\diamondsuit$ \diamondsuit	$\heartsuit$ \heartsuit
$\text{\textregistered}$ \text{\textregistered}	$\diamonds$ \diamonds	$\hearts$ \hearts
$\circledS$ \circledS	$\spadesuit$ \spadesuit	$\spades$ \spades
$\text{\textcircled a}$ \text{\textcircled a}	$\maltese$ \maltese

你也可以直接输入这些：$£ ¥ ∇ ∞ · ∠ ∡ ∢ ♠ ♡ ♢ ♣ ♭ ♮ ♯ ✓ … ⋮ ⋯ ⋱ !$

$[20]:$ 同样由于$\rm Markdown$制表问题，无法显示字符`。这里的显示效果就是$\lq$,同\lq。

单位

在$\KaTeX$中，单位与在$\TeX$中一样按比例进行处理。

但是很多地方，$\KaTeX$单位不同于$\rm CSS$单位。

其中，

• $F=$(围绕着$\rm HTML$文字的字体大小)/($\rm 10 pt$)

• $G$默认情况下为$1.21$，因为$\KaTeX$字体大小通常为$1.21\times$周围字体大小。$\rm HTML$网页的$\rm CSS$可以覆盖此值。

样式和大小的影响范围：

单位	文本模式	$\rm script$大小$^{[21]}$	$\rm huge$大小
$\text{em 与 ex}$	$\rule{1em}{1em}$	$\scriptscriptstyle\rule{1em}{1em}$	$\huge\rule{1em}{1em}$
$\text{mu}$	$\rule{18mu}{18mu}$	$\scriptscriptstyle\rule{18mu}{18mu}$	$\huge\rule{18mu}{18mu}$
$\text{其他}$	$\rule{10pt}{10pt}$	$\scriptscriptstyle\rule{10pt}{10pt}$	$\huge\rule{10pt}{10pt}$

$[21]:$ 这里不确定如何翻译scriptscript和huge。

---

本文全部译自 $\KaTeX$官网。