LaTeX 中的超集或等于符号（\supseteq）

用途

超集或等于关系：左边集合包含右边集合的所有元素。

A \supseteq B 读作“A 包含 B”，可能相等。当较大的集合是叙述主体时，用它很自然，例如闭包的 \overline{A} \supseteq A，或正合列论证中的 \ker f \supseteq \operatorname{im} g。它只是反方向读的 \subseteq，因此选择能把重要集合放在前面的写法即可。严格形式是 \supsetneq，否定形式是 \nsupseteq。在格论和序理论中，它也表示集族上的反向包含序。

也收录于: 集合论

最小可编译示例

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

\documentclass{article}
\begin{document}
Superset or Equal: $\supseteq$

\[ \overline{A} \supseteq A \supseteq \mathring{A} \]
\end{document}

相关符号

• 垂直符号\perp
• 超集符号\supset
• 平行符号\parallel
• 真子集符号\subsetneq
• 不平行符号\nparallel
• 子集或等于符号\subseteq

常见问题

如何在 LaTeX 中输入超集或等于符号？

在数学模式中输入 \supseteq，例如 $\overline{A} \supseteq A \supseteq \mathring{A}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\supseteq 需要哪个宏包？

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

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

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