∄

Math Operator 5

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
2204, then Alt+X (in Word) or Win+. and search "does not exist"
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.

Read full meaning article

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

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To