There exists symbol (∃)
U+2203 · THERE EXISTS · Unicode 1.1 (1993)
How to type ∃
Windows
No Alt code
∃ is not in the Windows code pages 1252 or 437, so it has no Alt code. Use one of the methods below or copy it from this page.
Word and Outlook: Alt + X
2203 Alt+X
Type 2203 and press Alt+X right after it: Word turns the code into ∃. Press Alt+X again to turn it back into the code.
Emoji and symbols panel (Windows 10 and 11)
Win+.
Press Win + full stop (.) to open the panel, go to the Symbols tab (Ω) and pick ∃.
No numeric keypad on your laptop? See the other ways in our Alt codes guide.
Mac
Character Viewer
Ctrl+⌘ Cmd+Space
Press Ctrl+⌘+Space (or the Globe key + E), search for “there exists symbol” and click ∃ to insert it.
iPhone
Make a shortcut (Text Replacement)
Turn a short word into ∃ once and type it in any app:
- Copy ∃ from this page.
- Open Settings › General › Keyboard › Text Replacement and tap +.
- Paste ∃ as the Phrase and type a Shortcut, for example ;exists.
- Now type ;exists anywhere: the keyboard suggests ∃.
Android
Make a shortcut (Gboard personal dictionary)
Teach your keyboard a short word that turns into ∃:
- Copy ∃ from this page.
- Open Gboard settings › Dictionary › Personal dictionary, choose your language and tap +.
- Paste ∃ as the word and type a shortcut, for example ;exists.
- Type ;exists in any app and tap ∃ in the suggestions.
Linux
Unicode input
Ctrl+Shift+U 2203 Enter
Press Ctrl+Shift+U, type 2203 and press Enter or Space. Works in GTK apps and with IBus (GNOME, Ubuntu, Fedora).
What ∃ means and how it is used
In Unicode, ∃ is code point U+2203 with the official name THERE EXISTS. It belongs to the Mathematical Operators block and arrived with Unicode 1.1 in 1993.
Other words for it: exists, there.
You will find it in our math, 148 symbols in all, together with π ∞ √ ± ×.
Codes for HTML, CSS and JavaScript
Tap Copy next to the code you need.
| HTML entity | ∃ | |
|---|---|---|
| HTML decimal | ∃ | |
| HTML hex | ∃ | |
| CSS | content: "\2203"; | |
| JavaScript | \u2203 | |
| URL | %E2%88%83 | |
| UTF-8 bytes | E2 88 83 | |
| Unicode | U+2203 |
Will it show on my friend's phone?
Very likely yes: ∃ dates from Unicode 1.1 (1993), so every current system has a font for it.
Checking your device…
Don't confuse ∃ with
These look alike but are different characters. Search, sorting and screen readers treat them differently, so copy the one you mean.
- ∃There exists symbolU+2203 · THERE EXISTS
- Latin capital letter reversed eU+018E · LATIN CAPITAL LETTER REVERSED E · Latin Extended-B
- ⴺU+2D3A · Tifinagh
- ꓱU+A4F1 · Lisu
- 𝈨U+1D228 · Ancient Greek Musical Notation
Names in other languages
What ∃ is called in the 12 languages of this site (Unicode CLDR and our editors). Tap a name to open that language's page.
| Language | Name |
|---|---|
| English | There exists symbol |
| Português | Quantificador existencial (existe) |
| Español | Cuantificador existencial (existe) |
| Italiano | Quantificatore esistenziale (esiste) |
| Français | Quantificateur existentiel (il existe) |
| Deutsch | Existenzquantor |
| Türkçe | Varlık niceleyici (vardır) |
| Bahasa Indonesia | Kuantor eksistensial (ada) |
| Polski | Kwantyfikator szczegółowy (istnieje) |
| Русский | Квантор существования |
| 日本語 | 存在記号 |
| 한국어 | 존재 기호 |
Related symbols
All Math →Questions people ask
How do I type ∃ on a laptop without a numeric keypad?
On Windows press Win + full stop (.) and pick ∃ in the Symbols tab, or in Word type 2203 and press Alt+X.
What is the difference between ∃ and Ǝ?
∃ is the there exists symbol (U+2203). Ǝ is a different character: latin capital letter reversed e (U+018E, Latin Extended-B block). They can look alike, but computers treat them as different letters, so a search for one will not find the other.
How do I type ∃ on an iPhone?
The iPhone keyboard has no key for ∃. Copy it here, then add it in Settings › General › Keyboard › Text Replacement with a shortcut like ;exists.
What is the HTML code for the there exists symbol?
Use the entity ∃ or the numeric code ∃ (hex ∃). In CSS write \2203, in JavaScript \u2203.
Will ∃ show on every phone?
Very likely yes: ∃ dates from Unicode 1.1 (1993), so every current system has a font for it.