LaTeX 中的定义等号（:=）

用途

冒号等号，即定义式赋值：左边被定义为等于右边。

写 f(x) := x^2 + 1 表示这是一个定义，而不是关于相等的断言，冒号位于被定义对象的一侧（=: 则方向相反）。直接输入时，冒号和等号都是关系符，所以 TeX 把它们紧挨着排在一起，但冒号相对等号并未垂直居中，这让一些排版者感到别扭。数学工具宏包中的 \coloneqq 命令可以修正这种对齐。在伪代码中它也表示赋值，x := x + 1。其他写法包括 \triangleq 和 \stackrel{\text{def}}{=}。

也收录于: 计算机科学

最小可编译示例

将其粘贴到空白 .tex 文件中，用 pdfLaTeX、XeLaTeX 或 LuaLaTeX 编译。

\documentclass{article}
\begin{document}
Defined As: $:=$

\[ \|f\|_{\infty} := \sup_{x \in X} |f(x)| \]
\end{document}

相关符号

• 三角等号\triangleq
• 同阶符号\asymp
• 后序或等于符号\succeq
• 前序或等于符号\preceq
• 严格后序符号\succ
• 严格前序符号\prec

常见问题

如何在 LaTeX 中输入定义等号？

在数学模式中输入 :=，例如 $\|f\|_{\infty} := \sup_{x \in X} |f(x)|$。无需加载任何宏包即可在标准 LaTeX 中使用。

:= 需要哪个宏包？

不需要。:= 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

:= 能在文本模式中使用，还是只能用于数学模式？

两者皆可。:= 在正文和 $...$ 中都能编译；在公式中请保持数学模式，以获得数学字体和间距。