LaTeX 中的超集符号（\supset）

用途

超集关系：左边集合包含右边集合（视约定而定，常表示严格包含）。

\supset 是 \subset 的镜像，A \supset B 表示 B 包含于 A。与 \subset 一样，作者们对它是否允许相等看法不一；请说明你的约定，或用 \supseteq 和 \supsetneq 消除疑问。较早传统的逻辑学文献（包括《数学原理》）用 \supset 表示实质蕴涵，因此在哲学论文中可能会见到 p \supset q。在新写的文字中，用 \to 或 \implies 表示蕴涵更清楚。其否定为 \not\supset，非严格形式的否定则用 \nsupseteq。

也收录于: 集合论

最小可编译示例

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

\documentclass{article}
\begin{document}
Superset: $\supset$

\[ \mathcal{F} \supset \{A_1, A_2, \ldots\} \]
\end{document}

相关符号

• 超集或等于符号\supseteq
• 真子集符号\subsetneq
• 垂直符号\perp
• 子集或等于符号\subseteq
• 平行符号\parallel
• 子集符号\subset

常见问题

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

在数学模式中输入 \supset，例如 $\mathcal{F} \supset \{A_1, A_2, \ldots\}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\supset 需要哪个宏包？

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

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

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