LaTeX 中的补集记号（撇号）（A'）

用途

变量或集合后加撇号，是 A 的补集或布尔非的简洁记法。

集合论课程常用 A' 表示补集 U \setminus A，一些逻辑设计书籍也用 A' 代替 \overline{A}，因为它可以写在一行内，而且容易输入。在数学模式中，撇号会自动变成上标 \prime，所以 A'' 会给出间距正确的双撇号。风险在于歧义：A' 也表示导数、拓扑学中的导集以及对偶空间。其他写法包括 A^c 和 A^{\complement}。无论选择哪一种，都请在文档开头附近定义一次。

最小可编译示例

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

\documentclass{article}
\begin{document}
Complement: $A'$

\[ (A \cup B)' = A' \cap B' \]
\end{document}

相关符号

• 德摩根律\overline{A \cdot B} = \overline{A} + \overline{B}
• 布尔非\overline{A}
• 布尔或A + B
• 布尔与A \cdot B
• 矛盾符号（恒假、底元）\bot
• 重言式符号（恒真、顶元）\top

常见问题

如何在 LaTeX 中输入补集记号（撇号）？

在数学模式中输入 A'，例如 $(A \cup B)' = A' \cap B'$。无需加载任何宏包即可在标准 LaTeX 中使用。

A' 需要哪个宏包？

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

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

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