LaTeX 中的补集符号（\complement）

用途

补集符号，通常作为集合的上标，表示该集合之外的所有元素。

A^\complement 表示 A 相对于全集的补集，因此 A \cup A^\complement = U。它是普通符号，形如风格化的 C。常见替代写法有 A^c、A' 和 \overline{A}，但上横线可能与拓扑闭包混淆，撇号可能与导数混淆，因此 \complement 没有歧义。请把它写成上标；单独使用的情况很少。德摩根律 (A \cup B)^\complement = A^\complement \cap B^\complement 是一个经典用例。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Complement: $\complement$

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

相关符号

• 自然数集\mathbb{N}
• 集合差符号\setminus
• 整数集\mathbb{Z}
• 大交集符号\bigcap
• 有理数集\mathbb{Q}
• 大并集符号\bigcup

常见问题

如何在 LaTeX 中输入补集符号？

在数学模式中输入 \complement，例如 $(A \cup B)^{\complement} = A^{\complement} \cap B^{\complement}$。请先用 \usepackage{amssymb} 加载 amssymb。

\complement 需要哪个宏包？

\complement 需要 amssymb：在文档开始前把 \usepackage{amssymb} 加入导言区。

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

只能用于数学模式。在 $...$ 之外，LaTeX 会报错 "Missing $ inserted"，所以在正文中请写 $\complement$。 如果只需要在正文中显示该字形，可以直接粘贴 Unicode 字符 ∁（需使用 XeLaTeX 或 LuaLaTeX 以及包含该字形的字体）。