U+2204 "∄" There Does Not Exist Unicode Character
Unicode Version 17.0
∄
U+2204 "∄" There Does Not Exist is a mathematical symbol that represents the logical negation of the existential quantifier, meaning it is used to state that no element within a given set satisfies a particular property, essentially asserting that a specified thing is not present or does not occur. It is constructed by striking through the more common existential quantifier "∃" (U+2203, "There Exists"), and its primary use is in formal logic, set theory, and mathematics to concisely express propositions like "there does not exist an x such that..." without resorting to verbose language.
General Properties
| Code Point | U+2204 |
| Version Added | 1.1 |
| Name | There Does Not Exist |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
| Decomposition Type | Canonical |
| Decomposition Mapping | "∃" U+2203 There Exists "̸" U+0338 Combining Long Solidus Overlay |
Encodings
| HTML Decimal Encoding | ∄ |
| HTML Hex Encoding | ∄ |
| UTF-8 Encoding | 0xE2 0x88 0x84 |
| UTF-16 Encoding | 0x2204 |
| UTF-32 Encoding | 0x00002204 |
| C/C++/Java Escape | \u2204 |
Unicode Properties
| NFC Quick Check | Yes |
| NFKC Quick Check | Yes |
| Numeric Type | None |
| Numeric Value | NaN |
| Line Break | Alphabetic |
| Script | Common |
| Script Extensions | Common |
| Indic Syllabic Category | Other |
| Pattern Syntax | Yes |
| Math | Yes |
| Vertical Orientation | Rotated |
| Grapheme Base | Yes |
| Grapheme Cluster Break | Other |
| Word Break | Other |
| Sentence Break | Other |