U+2204 There Does Not Exist
U+2204 was added in Unicode version 1.1 in 1993. It belongs to the block
This character is a Math Symbol and is commonly used, that is, in no specific script.
The glyph is a canonical composition of the glyphs
The Wikipedia has the following information about this codepoint:
In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.
Quantification in general is covered in the article on quantification (logic). The existential quantifier is encoded as U+2203 ∃ THERE EXISTS in Unicode, and as
exists
in LaTeX and related formula editors.
Representations
System | Representation |
---|---|
Nº | 8708 |
UTF-8 | E2 88 84 |
UTF-16 | 22 04 |
UTF-32 | 00 00 22 04 |
URL-Quoted | %E2%88%84 |
HTML hex reference | ∄ |
Wrong windows-1252 Mojibake | ∄ |
HTML named entity | ∄ |
HTML named entity | ∄ |
HTML named entity | ∄ |
LATEX | \nexists |
Elsewhere
Complete Record
Property | Value |
---|---|
1.1 (1993) | |
THERE DOES NOT EXIST | |
— | |
Mathematical Operators | |
Math Symbol | |
Common | |
Other Neutral | |
Not Reordered | |
canonical | |
|
|
✘ | |
|
|
|
|
✘ | |
|
|
|
|
|
|
|
|
|
|
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
|
|
Any | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
0 | |
0 | |
0 | |
✘ | |
None | |
— | |
NA | |
Other | |
— | |
✘ | |
✘ | |
✔ | |
✘ | |
Yes | |
No | |
|
|
Yes | |
|
|
No | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✘ | |
Other | |
✘ | |
✘ | |
✘ | |
✘ | |
✔ | |
✘ | |
✔ | |
|
|
None | |
neutral | |
Not Applicable | |
— | |
No_Joining_Group | |
Non Joining | |
Alphabetic | |
none | |
not a number | |
|
|
R |