LaTeX不包含符号怎么打：∌与⊄的写法

在 LaTeX 里写公式时，很多人会突然卡住：表达“x 不属于集合 A”时用 \notin 很顺手，可一旦要写“集合 A 不包含元素 x”或“A 不是 B 的子集”，就不知道该用哪条命令。搜索“latex 中不包含怎么打”的人，多半正在写论文、讲义或习题解答，碰到了这类符号。

这些符号的共同点是：大多没有现成的单个命令，而是用 \not 把普通关系符号划掉。本文只讲否定的包含关系符号，包括 ∌（不包含元素）、⊄（不是子集）、⊈（不是子集或相等），以及对应的 ⊅、⊉。读完后，你能知道每个符号对应哪条命令、需要加载哪个宏包，以及写完后怎样检查它是否渲染正确。

LaTeX 里不包含符号怎么打？一句话结论

在 LaTeX 中，否定的包含关系一般用 \not 加对应的正向符号来写：∌ 用 \not\ni，⊄ 用 \not\subset；需要更标准的字形时，再加载 amssymb 宏包使用 \nsubseteq 等命令。

你的情况	推荐做法	原因
要表示元素不属于集合（x ∉ A）	用 \notin	基础命令，无需额外宏包
要表示集合不含某元素（A ∌ x）	用 \not\ni	\ni 表示“包含元素”，前面加 \not 即为否定
要表示不是子集（A ⊄ B）	用 \not\subset	基础 LaTeX 即可编译
要表示不是子集或相等（A ⊈ B）	用 \nsubseteq（需 amssymb）或 \not\subseteq	前者字形更规整，后者不依赖宏包
要表示超集的否定（A ⊅ B、A ⊉ B）	用 \not\supset、\not\supseteq	与子集的写法对称，照着替换即可

动手前先确认下面几项，可以少走很多弯路。

符号的方向。∌ 是“集合在左、元素在右”，A ∌ x 读作 A 不含 x；x ∉ A 读作 x 不属于 A。两者方向相反，写反了含义就变了，阅读时容易被审稿人或老师挑出来。
你的编译环境。\not 与 \notin、\subset 都是基础命令，任何 LaTeX 环境都能用。\nsubseteq 则要求在导言区写 \usepackage{amssymb}。如果期刊模板或学校模板已经加载了它，就不必重复添加。
斜线的显示效果。\not 是把斜线叠在后面的符号上，不同符号的宽度不同，斜线位置可能略偏。这是字形问题，不是写错了，但正式文稿中尽量放大检查。
行内还是独立公式。行内公式用 $……$，独立公式用 \[……\]。符号本身写法一样，但独立公式的间距更宽，符号看起来更清楚。
不要用 \neg 代替。\neg 是逻辑“非”，作用于命题而不是集合关系。用它来表示“不包含”，在数学上不严谨，读者会看出来。

打开你的 LaTeX 文档，在导言区确认宏包。如果要用 \nsubseteq，在 \documentclass 之后写上 \usepackage{amssymb}，不需要就跳过。
在正文需要的位置写行内公式，例如 $x \notin A$，用来表示 x 不属于 A。
写集合不含元素的关系时，用 $A \not\ni x$，读作 A 不含 x。
写子集的否定时，用 $A \not\subset B$，表示 A 不是 B 的子集。
写“不是子集或相等”时，用 $A \nsubseteq B$（已加载 amssymb），或用 $A \not\subseteq B$（不依赖宏包）。
写超集的否定时，用 $A \not\supset B$ 或 $A \not\supseteq B$，方向与子集的写法对应。
独立公式用 \[ A \not\ni x \] 这样的写法，编译后检查前后文字的间距是否协调。
编译并预览 PDF，逐个查看符号。如果不想在本地配置环境，也可以在 UniDoc 网页编辑器（app.unidoc.top）里编辑公式，它支持与 LaTeX 互相转换，适合先试写。

公式写完、编译通过后，还要对照下面的项目检查一遍。

检查项	怎么看	有问题怎么办
符号形状	斜线是否穿过了正确的符号，有没有误用成 \neg 或其他符号	确认用的是集合关系符号对应的 \not 写法，逻辑非不用于集合
含义方向	集合与元素的左右位置是否符合你要表达的意思	对调元素与集合的位置，或改用 \notin 表示元素不属于集合
宏包报错	编译日志是否提示 Undefined control sequence	检查是否加载了 amssymb；未加载则补上，或改用 \not\subseteq
字号与间距	行内公式中的符号是否与周围文字协调	改用独立公式显示，或在必要处加入小间距命令微调
翻译后的公式	若用 OmniDoc 翻译 LaTeX 源码包，检查公式是否保留	对照原文逐条核对重要公式，机器翻译的文字内容也需要人工核对

∉ 表示元素不属于集合，写作 $x \notin A$；∌ 方向相反，表示集合不包含某个元素，写作 $A \not\ni x$。两者读法不同，写作时注意左右顺序。

\not 通过叠加斜线实现，不同符号的字形宽度不一样，斜线位置会有细微偏移。编译后放大查看即可。如果影响阅读，可以按期刊模板的要求调整写法。

这通常说明命令没有定义，常见的原因是使用了 \nsubseteq 却没有加载 amssymb。在导言区补上 \usepackage{amssymb}，或者改用 \not\subseteq。

在 pdfLaTeX 中直接粘贴 Unicode 符号，常会报错或因字体缺失而无法显示。使用 XeLaTeX 或 LuaLaTeX 并配置了数学字体时才可能直接输入，但输出仍需逐个检查。更稳妥的做法是使用上面的命令。

在 LaTeX 中，否定的包含关系大多通过 \not 加对应符号完成：∌ 用 \not\ni，⊄ 用 \not\subset，⊈ 可用 \nsubseteq。记住方向、确认宏包，再编译预览一次，就能解决大多数“latex 中不包含怎么打”的问题。

打开 OmniDoc，编辑、转换或翻译你的 LaTeX 文档