∄
There Does Not Exist
- Unicode
- U+2204
- Category
- Math
- HTML Entity
- ∄
- CSS
- \2204
The ∄ symbol, officially named "There Does Not Exist," is a mathematical logic operator that serves as the negation of the existential quantifier (∃). It is primarily used in formal proofs and predicate logic to explicitly state that no element in a given set satisfies a particular condition. While rarely seen in casual communication, it is an essential piece of typographic shorthand in academic papers, technical documentation, and complex equations.
How to Type
- Windows
- In Word: type 2204, then press Alt + X. Other apps have no standard Windows shortcut for it — copy it from this page
- macOS
- Control+Command+Space then search "does not exist"
- Linux
- Ctrl+Shift+U 2204 Space
- HTML
- ∄ or ∄
In Programming
While rarely used directly in source code syntax, it frequently appears in LaTeX mathematical typesetting as `\nexists` and in the documentation for formal verification systems to define logical constraints.
Tags
LaTeX nexists
U+2204
backwards E with slash
does not exist
formal proof symbol
logic
mathematics
negated existential
negated existential quantifier
negation of exists
no element exists
predicate logic
quantifier
there is no