Empty Set in LaTeX
LaTeX has two empty set symbols: \emptyset (built in, a slashed zero shape) and \varnothing (amssymb, a round circle with a slash, the form most textbooks print). Both are math-mode commands: $A \cap B = \varnothing$.
Empty set commands
\emptysetEmpty set, built into LaTeX.
\varnothingRounder empty set; needs
\usepackage{amssymb}.\{\}Empty braces: the empty set written as a set with no elements.
\{ \varnothing \}The set containing the empty set (not empty!).
\mathcal{P}(\varnothing)Power set of the empty set.
Try it live
Change the formula and the preview redraws as you type. Copy the LaTeX, download a PNG or SVG, copy it for Word, or use Edit here on any example below to load it.
Empty set examples
Each result below is drawn from the LaTeX under it. Copy the code, edit it on this page, or open it in the full editor.
Disjoint sets
LaTeXA \cap B = \varnothingEmpty solution set
LaTeX\{ x \in \mathbb{R} : x^2 = -1 \} = \emptysetSubset of every set
LaTeX\varnothing \subseteq A \quad \text{for every set } ANot empty
LaTeXS \neq \varnothingPower set
LaTeX\mathcal{P}(\varnothing) = \{ \varnothing \}Both symbols side by side
LaTeX\emptyset \quad \text{vs} \quad \varnothing
\emptyset or \varnothing?
They mean the same thing; the difference is only the shape. \emptyset in the default Computer Modern font is a tall, narrow slashed zero. \varnothing is a round circle with a slash, which is what most printed math books use and what many people expect ∅ to look like.
To use the round form everywhere without changing your source, redefine the command once in the preamble after loading amssymb.
\usepackage{amssymb}
\let\emptyset\varnothingWriting an empty set with braces
Braces group things in LaTeX, so {} prints nothing. To show the braces themselves, escape them: \{\}. The same applies to any set written out, such as \{1, 2, 3\}.
Common mistakes
\Ois the Scandinavian letter Ø in text mode. It resembles the symbol but is a letter, and it is not valid in math mode.Instead ofA \cap B = \OWriteA \cap B = \varnothing\varnothingcomes from amssymb; without it LaTeX reports "Undefined control sequence".Instead of\varnothing % no amssymbWrite\usepackage{amssymb}Unescaped braces are grouping characters and disappear from the output.
Instead ofA = {}WriteA = \{\}φ is the Greek letter phi. It looks similar in handwriting but is a different symbol.
Instead of\phi % as the empty setWrite\varnothing
In Overleaf, MathJax and Word
Overleaf and pdfLaTeX
\emptysetworks in any document;\varnothingneeds\usepackage{amssymb}.MathJax and KaTeX
MathJax and KaTeX support both
\emptysetand\varnothingwith no setup; the two shapes differ there as well.Microsoft Word
In a Word equation,
\emptysetfollowed by Space inserts ∅. Copy for Word from the editor here pastes set formulas as editable equations.
Empty set in LaTeX: questions
- What is the LaTeX command for the empty set?
\emptyset, or\varnothingfrom amssymb for the rounder ∅.- Why does my \emptyset look like a zero with a slash?
- That is its shape in Computer Modern. Use
\varnothingfor the round version, or add\let\emptyset\varnothingto the preamble to switch everywhere. - Is \{\} the same as \emptyset?
- Yes, both denote the set with no elements.
\{\varnothing\}is different: it has one element. - Can I use the Greek letter phi for the empty set?
- No.
\phiis a Greek letter; readers and screen readers will treat it as phi, not as the empty set.
Related LaTeX reference
- Union in LaTeXThe ∪ symbol with \cup, indexed unions with \bigcup_{i=1}^{n}, and disjoint unions (\sqcup, \uplus).
- Subset in LaTeX\subset, \subseteq, \subsetneq, the superset forms and the negated "not a subset" symbols.
- Element of Symbol (∈) in LaTeX\in for ∈, \notin for ∉, \ni for ∋, and how ∈ differs from the Greek letter epsilon.
- LaTeX equation editorSymbol panel, live preview, and PNG, SVG, MathML or Word export.
- All LaTeX reference pagesSymbols, math structures and text formatting in one list.
Have the formula as a picture?
Paste a screenshot or photo of the equation and get its LaTeX, ready to copy or open in the editor.
Convert an image to LaTeX