空集符号 ∅ 的 LaTeX 写法
\emptyset 用来排版空集符号 ∅，空集是唯一一个不含任何元素的集合。
LaTeX 命令
\emptyset不是你要找的符号？画出来查命令 →
空集里没有任何成员：对任意 x，命题 x \in \emptyset 都为假。空集是唯一的，因为按定义，任意两个都没有元素的集合必然相等；同时它是任何集合的子集，包括它自己。写 = \emptyset 是表示两个集合不相交的标准方式。
LaTeX 提供两种字形。\emptyset 是默认写法：一个窄而略呈椭圆、带斜线的零。\varnothing（来自 amssymb 宏包，KaTeX 已内置）则是一个带斜线的正圆，集合论和代数领域的许多排版规范更偏爱它，因为它看起来明确是一个符号，而不像划掉的零。
想表示 \emptyset 时，不要写成 \{\emptyset\}；以空集为唯一元素的集合有一个元素，它和空集本身不是一回事。在用嵌套集合构造自然数或序数时，这个区别非常重要。
其他写法
\varnothing更圆的变体（∅）示例
$A \cap B = \emptyset$A 与 B 不相交
$\emptyset \subseteq A$空集是任何集合的子集
$\{x \in \mathbb{R} : x^2 < 0\} = \emptyset$没有实数解的集合
$A \cup \emptyset = A$空集是并集运算的单位元
$\varnothing$amssymb 提供的另一种更圆的字形
使用技巧与常见错误
- 在
\emptyset和\varnothing中选定一种字形，全文统一使用；不要混用，它们看起来相似，但并不完全一样。 \emptyset和 \{\emptyset\} 永远不是一回事：后者是含有一个元素（这个元素本身是空集）的集合，所以它的元素个数是 1，而不是 0。- 不要把空集
\emptyset和数字 0 或空字符串混为一谈；虽然通俗地说三者都表示“没有”，但它们是不同类型的对象。 \emptyset是任何集合的子集，包括它自己，这在关于子集的归纳证明中是很有用的起始情形。- 表达不相交时，明确写出 =
\emptyset，不要只用文字描述；这样更清楚，也更方便接着往下推导。
手上是手写笔记？
LatexNotes 能把手写数学的照片或 PDF 转换成干净、可编译的 LaTeX，连手绘图形也一并转换。免费试用，无需注册。
把你的数学笔记转成 LaTeX →常见问题
\emptyset 和 \varnothing 有什么区别？
它们排出的是同一个空集符号的两种外观。\emptyset 是窄而略呈椭圆、带斜线的零；\varnothing（来自 amssymb 宏包，KaTeX 默认可用）是带斜线的正圆，集合论中常更偏爱它，因为它不太像划掉的零。两种都正确，选定一种并保持一致即可。
空集和 0 是一回事吗？
不是。\emptyset 是不含元素的集合，而 0 是一个数。它们是不同类型的数学对象，尽管在形式化的集合论中，常常用空集来构造数字 0。
\emptyset 是任何集合的子集吗？
是的。这是一个“空真”命题：\emptyset 的每个元素（其实一个也没有）都满足任何属于条件，所以 \emptyset \subseteq A 对任意集合 A 都成立，包括 A = \emptyset 本身。
\{\emptyset\} 是什么？
它是恰好含有一个元素的集合，这个元素就是空集。它有一个成员，所以 \{\emptyset\} \neq \emptyset；不要把容器和容器里装的东西混为一谈。