U+2203
There exists∃
There exists is a monochrome text character from the Unicode Mathematical Operators block, listed here under Math. Copy it with one click, or use the hex, octal, decimal and HTML entity codes below to embed it in web pages, code, and documents. It is often searched for as "existential".
Quick facts
- Unicode
- U+2203
- Decimal
- 8707
- Hex
- 0x2203
- Octal
- 0o21003
Unicode identity
| Format | Value | Copy |
|---|---|---|
| Code pointOfficial Unicode notation | U+2203 | |
| Official nameUnicodeData.txt, Unicode 18.0.0 | THERE EXISTS | |
| DecimalBase 10 | 8707 | |
| HexadecimalBase 16 | 0x2203 | |
| OctalBase 8 | 0o21003 | |
| BinaryBase 2 | 0010001000000011 | |
| General categorySymbol, math | Sm | |
| Unicode blockU+2200–U+22FF | Mathematical Operators | |
| Plane | Basic Multilingual Plane (BMP, Plane 0) |
HTML & CSS
| Format | Value | Copy |
|---|---|---|
| HTML entity (decimal) | ∃ | |
| HTML entity (hex) | ∃ | |
| HTML entity (named) | ∃ | |
| CSS content escapeUse inside content: "…" | \2203 | |
| URL encodedPercent-encoded UTF-8 | %E2%88%83 |
Programming languages
| Format | Value | Copy |
|---|---|---|
| JavaScript / TypeScript | \u2203 | |
| JSONUTF-16 surrogate pairs | \u2203 | |
| Python | \u2203 | |
| Java / C# / Kotlin | \u2203 |
Byte encodings
| Format | Value | Copy |
|---|---|---|
| UTF-83 bytes | E2 88 83 | |
| UTF-16 (BE) | 2203 | |
| UTF-32 (BE) | 00002203 |
How to type There exists
Windows
Hold Alt and type +2203 with the hex numeric keypad option enabled, or type 2203 then press Alt+X in Word and most Office apps.
macOS
Enable the Unicode Hex Input keyboard, hold Option, and type 2203. Or open Character Viewer (Control+Command+Space) and search "There exists".
Linux
Press Ctrl+Shift+U, type 2203, then press Space or Enter in GTK apps. IBus and most terminals support the same sequence.
HTML, CSS & code
Paste the character directly, or use the escapes above: ∃ in HTML, \2203 in CSS, and \u2203 in JavaScript.
Official Unicode reference
- Character name
- THERE EXISTS
- Block
- Mathematical Operators (U+2200–U+22FF)
- General category
- Sm — Symbol, math
Data from the Unicode Character Database, version 18.0.0. See the official code chart for the Mathematical Operators block: U2200.pdf (PDF, unicode.org).
Frequently asked questions
How do I copy the There exists symbol?
Click the Copy button at the top of this page, or select ∃ and press Ctrl+C (Cmd+C on Mac). It is plain Unicode text, so it pastes into documents, chats, code, and design tools.
What is the Unicode code point for There exists?
There exists is U+2203 (decimal 8707, hexadecimal 0x2203, octal 0o21003). It lives in the Mathematical Operators block (U+2200–U+22FF) of the Basic Multilingual Plane (BMP, Plane 0).
What is the official Unicode name of There exists?
The Unicode Standard (version 18.0.0) names this character "THERE EXISTS". Its General_Category is Sm (Symbol, math).
What is the HTML code for There exists?
Use ∃ or ∃, or the named entity ∃. In CSS, use content: "\2203".
How do I type There exists in code?
JavaScript: "\u2203". Python: "\u2203". JSON and Java: "\u2203". The UTF-8 byte sequence is E2 88 83.
Is There exists an emoji?
No. There exists is a text symbol and renders as a monochrome glyph in the current font. Some platforms may offer an emoji variant when U+FE0F is appended.