LaTeX 用户指南 – Typst 中文文档

这篇文章是写给那些已经有过 LaTeX 使用经验，并想要尝试 Typst 的用户。 我们将从用户的角度出发，解释这两套系统之间主要的不同。 虽然 Typst 并不是基于 LaTeX 构建的，语法也完全不同，但通过这篇文章，你可以方便地将 LaTeX 的使用经验转化过来。

跟 LaTeX 一样，Typst 是一门基于标记的排版系统。首先在纯文本里编写自己的文档，然后通过一些命令和语法对其进行修饰，最后使用编译器将源文件排版并渲染成 PDF 文件。在以下几个方面，Typst 跟 LaTeX 之间也存在区别：日常任务上，Typst 使用更为专用的语法，这一点可以类比 Markdown。Typst 的命令也更有「原则性」：在 LaTeX 中，你可能需要为不同软件包学习不同的语法和约定，但在 Typst 中，命令总是保持一致，所以你只需要理解一些基本的概念。并且 Typst 比 LaTeX 快得多：Typst 文件的编译通常只需要几毫秒，而不是几秒，因此 Typst 可以实现实时增量渲染。

在接下来的部分，我们将回答从 LaTeX 切换到 Typst 时一些常见的问题。 如果你更喜欢一步一步地介绍 Typst，请阅读我们的 教程。

很简单，你只需要创建一个空的文本文档（文件后缀是.typ），无需额外的模板，你就可以直接开始编写。 如果您使用的是 Web App，请单击“+ Empty document”以创建一个带有文件的新项目，然后进入编辑器。

段落分隔符 和 LaTeX 相同，空一行即可：

LaTeX 使用 \section 命令创建章节标题。多级标题分别用 \subsection、\subsection 等表示。根据文档种类的不同，还有 \part 和 \chapter。

在 Typst 中，标题设置更简洁：在标题所在的行前面加上一个等号和一个空格，便得到了一级标题：= Introduction。 如果你需要一个二级标题，则可以使用两个等号：== In this paper。 通过在前面加上更多的等号，你可以嵌套任意层级的标题。

强调（通常以斜体字呈现）是通过用_underscores_来表达， 而着重的强调（通常以黑体字呈现）是通过使用*Star*来代替。

强调（英文中以斜体呈现）只需要把文本包含在 _下划线_ 中， 粗体则需要包含在 *单个星号* 之中。

下面是 LaTeX 中使用的常见标记命令及其 Typst 对应的表示方式。你也可以查看完整的语法备忘单。

在 Typst 中，使用 列表 并不需要「环境」，而采用一种更为轻量的语法。 只需要在每行开头前，加入连字符 -，就可以创建一个无序列表：

使用正确的缩进，可以实现嵌套列表。且在每项间添加空行，可以得到一个行间距更大的列表

要获得一个 有序列表（ enumerate ），可以用 + 代替连字符。 对于一个 术语列表（ description ），可以用 / Term: Description 来表示。

LaTeX 十分依赖以反斜杠 \ 开头的命令，它需要通过这些 宏 来排版、插入或改变内容。 有些命令可以传入参数，这些参数通常使用大括号括起来。\cite{rasmus}

Typst 区分两种模式：「标记模式」和「脚本模式」。 默认是「标记模式」。此模式下，你可以直接编排文本、使用不同的语法结构，如 *使用星号标记粗体文本* 。 而「代码模式」下，则更类似像 Python 一样的编程语言，提供了输入、执行代码的选项。

在 Typst 的标记模式中，你可以使用井号（#）来使用单个命令（或者表达式）。 例如，你可以通过这种方式来分割不同的 文件，或者基于某些 条件 渲染文字。在「脚本模式」下，也可以通过方括号来包含正常的（「标记模式」下的）内容块。 在「脚本模式」下，内容（标记模式的整体）会被跟其他变量一样，当作一个值本身进行处理。

标记模式，如同 Markdown，不需要额外的内容，默认就处在这个标记模式下：可以直接使用 _text_ 或者 *text* 来实现斜体/粗体（参考上文）

脚本模式，以 # 开头（类比 LaTeX 中以 \ 开头来书写命令），仅仅存在于一个命令（表达式）中，当这个表达式结束之后，一切又回到标记模式中。 在脚本模式中，无需额外使用 #（命令/关键字会直接识别，不同于 LaTeX），同时在命令中也可以使用标记模式（使用 ，比如例子给出的 Hi #x）

另外：

一个函数调用总是涉及到函数的名称（rect, underline, calc.max, range），后面是小括号（与 LaTeX 不同，如果宏不需要参数，方括号和大括号是可选的）。 在这些圆括号内传递的参数的预期列表取决于具体的函数，并在 引用 中指定。

一个函数可以有多个传入参数，有些参数是位置参数，只需提供变量的值即可（不需要提供参数名）：函数 #lower("SCREAM") 以全小写的方式返回其传入值。 很多函数使用命名参数来提高可读性，例如创建一个指定大小和描边的正方形，可以使用如下命名参数：

你指定一个命名参数，首先输入它的名字（上文中是它width、height和stroke），然后是冒号，接着是值（2cm、1cm、red）。 你可以在每个函数的参考页中找到可用的命名参数，或者在输入时的自动完成面板中找到。 命名参数类似于一些 LaTeX 环境的配置方式，例如，你可以输入\begin{enumerate}[label={alph*)}]来启动一个带有标签a)、b)等的列表。

指定命名参数时，你需要首先输入参数的名字，例如 width、height 和 stroke 等，接下来输入冒号和对应的值 (2cm、1cm、red) ，你可以在文档或者自动补全中找到可以传入的参数。 命名参数有些类似 LaTeX 中配置环境的办法，比如 \begin{enumerate}[label={alph*)}] 可以作为一个带有标签a)、b)等的列表的起始标志。

大多数情况下，你会希望向函数传递一些 内容块。 例如，在 LaTeX 中的命令 \underline{Alternative A} 在 Typst 中则可以写成 #underline([Alternative A])，方括号表示其中的值是一个内容块 。 在这些方括号中，你可以使用正常的标记语法。然而，都这样写的话，需要嵌套的括号数量还是太多了，因此你可以把位于尾部的内容块放到括号后面（如果没有其他参数，甚至可以忽略 ()）：

你很可能已经注意到了，上文提到的这些参数有着不同的数据类型。Typst支持多种 数据类型，下表是其中一些比较重要的类型和以及声明他们的办法。

注意：为了使用以下任何类型，你必须处在脚本模式中。

内容块和字符串的区别在于，内容可以包含标记，包括函数调用，而字符串实际上只是一个普通的字符序列。

Typst 提供了 条件分支、循环结构，以及常用的运算符，比如 + 和 ==，你也可以定义你自己的变量，并在此基础上进行计算。

在 LaTeX 中，有些命令，例如 \textbf{bold text} 通过大括号传入参数，并且只影响括号内的内容。而有些命令，比如 \bfseries bold text「起到开关的作用」，在这行命令后的所有内容都会受这个命令的影响。

在 Typst 中，同样的函数可以同时用来影响：

举例来说，#text(weight: "bold")[bold text] 仅仅会加粗传入的参数，而 #set text(weight: "bold") 会影响「到作用域结束」，（或者，如果不在作用域中，影响文档的剩余部分）。根据使用方式的不同（函数调用 / 使用 Set 规则），很容易区分它的作用域。

Set 规则可能出现在文档的任何部分。它们可以被认为是其各自函数的默认参数值：

+ 是调用 enum 函数的语法糖（可以把它看作是一种简写），我们在上面应用了一个 Set 规则。 从这个意义上讲，大多数的特殊语法都是只是某一个函数的简写。

如果你需要重新定义一个组件的样式（超过了修改其参数所能提供的），你可以通过 Show 规则 完全重定义其样式（与 LaTeX 中 \renewcommand 相似，类似于定义了一个宏）.

在 LaTeX 中，你可以使用 \documentclass{article} 来定义文档的样式。通过这个命令，你也可以通过把 article 更换为 report和 amsart 来更换文档的样式。

在使用 Typst 中，你可以通过 函数 来修改文档的样式。通常情况下，你可以使用模板中提供的函数来修改整个文档，使用方式如下：你可以通过 #import 来导入模板函数，然后你使用这个函数来对文档使用样式。具体的做法是通过 Show 规则 来将整个文档包装在这个函数中，具体如下：

这里的 import 命令，导入了在其他文件中声明的函数。在这个例子中，它从 conf.typ 中导入了 conf 函数。这个函数会将整个文档展示为一个会议论文。我们通过 Show 规则讲这个样式应用到全局，同时设置了文档的一些元数据。在应用 Show 规则之后，我们就可以开始写文章了。

在 Typst 中，函数被称为"命令"，它们可以将其参数转化为输出值，包括文档 内容。 函数是"纯净"的，这意味着它们除了创建一个输出值/输出内容外，不能产生任何其他效果。 这与 LaTeX 的宏形成了鲜明的对比，后者可以对你的文档产生任意的效果。

函数算作 Typst 的一种命令，而且可以将输入的参数转换为所需要的输出，包括内容块。在 Typst 中函数都是「过程的、纯的」，意味着他们除了返回值外不能有任何其他的副作用。 这与 LaTeX 的宏形成了鲜明的对比，后者可以对你的文档产生任意的效果。

要让一个函数为你的整个文档提供样式，显示规则会处理它后面的所有内容，并以结果为参数调用冒号后面指定的函数。 .with 部分是一个方法，它接收 conf 函数，并在传递给显示规则之前预先配置它的一些参数。

为了将一个样式应用到整个文档，Show 规则会把后续的所有内容都作为参数，传递给冒号后面定义的函数。.with 是函数对象的一个方法，它可以预设一些其他的默认参数（类似于柯里化），在传递给 Show 规则之前进行一些设置更改。

译者注：#show: conf.with(title: [标题]) 等价于 Lambda 表达式形式的 #show: it => conf(title: [标题], it)

在 Web App 中，你可以选择一些预先定义好的模板，甚至可以通过模板向导创建自己的模板。 你也可以访问 Awesome Typst 仓库 来查看一些社区提供的模板。我们正在筹备为包管理器增加托管模板的能力（目前只能托管工具类包），在那之后这一切都会更加容易分享！

你也可以 创建你自己的自定义的模板。它们比相应的 LaTeX 的 .sty 文件短得多，可读性也高得多，所以不妨一试!

Typst 是 "即插即用" 的，所以许多流行的 LaTeX 包的对应功能是直接内置到 Typst 里的。 在下面我们列出一些 LaTeX 中常用的包，和他们对应的 Typst 命令：

尽管 很多 东西是内置的，但并非所有东西都可以内置。这就是为什么 Typst 有一个内置的 包管理器，社区可以在其中共享他们的工作和自动化工具。让我们以 tablex 包为例：此包允许您以内置的表格尚不支持的方式自定义表格。要在文档中使用 tablex，您只需编写：

(@preview 是一个 namespace，在包管理器还处于早期和实验状态时使用，它将在将来被替换。)

除了官方的软件包存储库，您可能还会想看 Awesome Typst 仓库，其中集合了为 Typst 创建的资源精选列表。

译者注：以及 Awesome Typst 中文仓库。

如果您需要从项目中的另一个文档加载函数和变量，例如使用模板，则可以使用相同的 import 语句，其中应该包含文档名，而不是特定的包。要包含另一个文档的文本内容, 您可以使用 include 语句。它将读取指定文档的内容，并将其直接置入文档中。

要在 Typst 中进入数学模式，只需将数学公式用 $ 符号括起来。你可以通过在方程内容和其周围的 $ 符号之间添加空格或换行来书写块状公式（行间公式）。

数学模式 的工作方式与普通标记或代码模式不同。数字和单个字符被逐字显示，而多个连续（非数字）字符将被解释为 Typst 变量。

Typst 在数学模式下预先定义了很多有用的变量。所有希腊字母（alpha, beta, ...）和一些希伯来字母（alef, bet, ...）都可以通过它们的名字直接使用。 一些符号还可以通过缩写轻松使用，如 = 和 ->。

符号的完整列表请参考 符号页面。如果缺少某些符号，你也可以通过 Unicode 转义序列 访问它。

符号的变体通常可以通过在句点后附加一个 . 点修饰符 来选择。例如，arrow.l.squiggly 插入了一个向左倾斜的箭头。 如果你想在你的表达式中插入多字母纯文本，可以用双引号将其括起来：

由于数学模式下的变量不需要在前面加上 # 或 / ，所以你也可以无需额外的井号字符来调用函数：