LaTeX 中的表示“使得”的冒号（:）

用途

在量化命题和集合构造记号中读作“使得”的冒号，用来分隔变量与其条件。

在数学模式中，普通冒号被视为关系符，两侧获得相等的宽空格，这适合 \{x : x > 0\} 和 \forall x : P(x)。函数签名则应改用 \colon，因为它具有标点间距：f\colon A \to B 看起来正确，而 f : A \to B 会在冒号前留下空隙。对于定义，由两个字符拼成的 := 在垂直方向上可能显得不对齐；扩展宏包中的专用定义符号可以解决这个问题。有些作者在集合构造记号中更喜欢用 \mid 或竖线；选定一种并保持一致。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Such That (Colon): $:$

\[ \{ n \in \mathbb{Z} : n^2 < 10 \} \]
\end{document}

相关符号

• 集合构造记号\{ x \mid P(x) \}
• 条件竖线\mid
• 嵌套量词命题\forall x \exists y : P(x, y)
• 集合上的存在量词\exists x \in A
• 集合上的全称量词\forall x \in A
• 存在 x 的存在量词\exists x

常见问题

如何在 LaTeX 中输入表示“使得”的冒号？

在数学模式中输入 :，例如 $\{ n \in \mathbb{Z} : n^2 < 10 \}$。无需加载任何宏包即可在标准 LaTeX 中使用。

: 需要哪个宏包？

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

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

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