LaTeX 中的集合构造记号（\{ x \mid P(x) \}）

用途

集合构造记号：所有使性质 P(x) 成立的 x 组成的集合，用花括号和分隔符书写。

在数学模式中花括号必须转义为 \{ 和 \}，否则它们只起分组作用，不会出现在输出中。\mid 是关系符，两侧会获得适当的空格，而单独的 | 是普通符号，会让字母挤在一起。当条件中含有分式或较高的内容时，应统一调整大小：\left\{ x \;\middle|\; \frac{x}{2} \in \mathbb{Z} \right\}。冒号作为分隔符同样适用，并且在条件本身含有绝对值时可以避免混淆。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Set Builder: $\{ x \mid P(x) \}$

\[ \{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1) \]
\end{document}

相关符号

• 嵌套量词命题\forall x \exists y : P(x, y)
• 表示“使得”的冒号:
• 条件竖线\mid
• 集合上的存在量词\exists x \in A
• 集合上的全称量词\forall x \in A
• 存在 x 的存在量词\exists x

常见问题

如何在 LaTeX 中输入集合构造记号？

在数学模式中输入 \{ x \mid P(x) \}，例如 $\{ x \in \mathbb{R} \mid x^2 - 1 < 0 \} = (-1, 1)$。无需加载任何宏包即可在标准 LaTeX 中使用。

\{ x \mid P(x) \} 需要哪个宏包？

不需要。\{ x \mid P(x) \} 是标准 LaTeX 的一部分，导言区只需文档类即可编译。

\{ x \mid P(x) \} 能在文本模式中使用，还是只能用于数学模式？

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\{ x \mid P(x) \}$。