U+2203 "∃" There Exists Unicode Character
Unicode Version 17.0
∃
U+2203 "∃" There Exists is a mathematical symbol representing the existential quantifier in formal logic and mathematics, used to assert that at least one element in a given domain satisfies a specific property or predicate. It is the existential counterpart to the universal quantifier "∀" (for all) and is fundamental in set theory, predicate calculus, and proofs where statements like "there exists an x such that P(x)" are expressed. This character, encoded in the Mathematical Operators block of Unicode, is widely employed in academic texts, computer science, and symbolic reasoning.
General Properties
| Code Point | U+2203 |
| Version Added | 1.1 |
| Name | There Exists |
| Block | Mathematical Operators |
| General Category | Math Symbol |
| Canonical Combining Class | Not Reordered |
| Bidirectional Class | Other Neutral |
| Mirrored | Yes |
Encodings
| HTML Decimal Encoding | ∃ |
| HTML Hex Encoding | ∃ |
| UTF-8 Encoding | 0xE2 0x88 0x83 |
| UTF-16 Encoding | 0x2203 |
| UTF-32 Encoding | 0x00002203 |
| C/C++/Java Escape | \u2203 |