What ∄ means
It rules out every value that would satisfy the stated condition.
The not-exists sign ∄ starts a claim about a variable and its condition: every value in the domain must fail it.
Peano used in 1896; Russell later used it as a variable-binding operator in Principia Mathematica, a logic book published in 1910–1913.
Formal and precise, at home in logic and mathematical writing.
In different fonts, the slash can angle differently; it still marks negation.
Part of the collection
What it means when someone sends it to you
2 readingsNo value in the domain satisfies the condition.
Don't confuse it with
2
Questions people ask
1Why does ∄ show as a box on some devices?
Because that device's fonts have no glyph for it. The character is still correct and still copies correctly — the box is a missing glyph, not a broken character.
More like this
9
How to type or find ∄
- Search it as
- nexists · not exists · existential negation · negated existence · empty set symbol · no solution notation
- Shows up in
- Anything that takes text · its shape is whatever your font draws
∄\2204Codes and encoding1 code points
A visible symbol can contain several code points. JS .length counts UTF-16 units; UTF-8 counts bytes.