LaTeX 中的非子集符号（\not\subset）

用途

带斜线的子集符号：左边的集合不是右边集合的子集。

\not\subset 借助通用的 \not 前缀在 \subset 上叠加一条斜线。效果可以接受，但斜线有时不居中；专用字形 \nsubseteq（不是子集或相等）以及某些符号宏包中的 \nsubset 更美观。由于 \subset 本身在真包含与非严格包含之间存在歧义，\nsubseteq 往往是更清楚的否定形式。例如：\mathbb{Q} \not\subset \mathbb{Z}，因为 1/2 是有理数但不是整数。请把 \not 紧贴在关系符之前，不要加空格或花括号，这样它才能正确组合。

最小可编译示例

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

\documentclass{article}
\usepackage{amssymb,amsmath}
\begin{document}
Not Subset: $\not\subset$

\[ \mathbb{Q} \not\subset \mathbb{Z} \text{ since } \tfrac{1}{2} \notin \mathbb{Z} \]
\end{document}

相关符号

• 真子集符号\subsetneq
• 子集或等于符号\subseteq
• 超集符号\supset
• 子集符号\subset
• 超集或等于符号\supseteq
• 包含元素符号\ni

常见问题

如何在 LaTeX 中输入非子集符号？

在数学模式中输入 \not\subset，例如 $\mathbb{Q} \not\subset \mathbb{Z} \text{ since } \tfrac{1}{2} \notin \mathbb{Z}$。无需加载任何宏包即可在标准 LaTeX 中使用。

\not\subset 需要哪个宏包？

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

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

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