SymbolHub

There Exists Symbol (∃)

The there exists symbol ∃ is Unicode U+2203, the existential quantifier, read “there exists”. Press Copy to put it on your clipboard.

Unicode
U+2203
HTML
∃
Word
2203 Alt+X

How to type the there exists symbol (∃)

The quickest way is to press Copy above and paste. To type ∃ yourself, use the method for your device below.

Windows

  1. In Word or Outlook, type 2203 and press Alt + X. Alt + X converts the hex code before the cursor into the character, and back again.
  2. Press Win + R, type charmap and press Enter. Tick “Advanced view”, search for There Exists, then Select and Copy. Character Map is built into every version of Windows.

Mac

  1. Press Control + Command + Space to open the Character Viewer, search for there exists and double-click it.
  2. With the Unicode Hex Input keyboard enabled (System Settings → Keyboard → Input Sources), hold Option and type 2203.

Linux & ChromeOS

  1. Press Ctrl + Shift + U, type 2203, then press Enter or Space. Works in GTK and IBus apps (GNOME, Firefox, Chrome, LibreOffice) and on ChromeOS.

iPhone & iPad

  1. Copy ∃ from this page, then go to Settings → General → Keyboard → Text Replacement and add it with a shortcut such as ;ther. The shortcut then turns into the symbol as you type, in every app.

Android

  1. Copy ∃ here, then open Gboard settings → Dictionary → Personal dictionary and add it with a shortcut.

Microsoft Word

  1. Type 2203, then press Alt + X.
  2. Insert → Symbol → More Symbols. Set “from” to Unicode (hex), type 2203 in “Character code” and click Insert.

Google Docs

  1. Insert → Special characters, then search for “there exists” or draw it in the box.

Excel & Google Sheets

  1. Enter =UNICHAR(8707) in a cell. It works in Excel 2013 and later and in Google Sheets.

HTML

  1. Write ∃ or ∃ in your HTML.

What does ∃ mean?

∃ is the existential quantifier: ∃x P(x) means “there is at least one x for which P holds”. Giuseppe Peano used a reversed E for it in 1897, and Bertrand Russell’s work spread it. The variant ∃! means “there exists exactly one”, and ∄ means “there does not exist”. It is a mirrored capital E, not the letter Ǝ used in some African orthographies.

Common uses

  • Logic: ∃n ∈ ℕ : n² = 49
  • Uniqueness claims: ∃! x such that…

There Exists Symbol codes for HTML, CSS and programming

Every code below produces ∃. Use the HTML entity in web pages, the CSS escape in content, and the escape sequence in source code.

Unicode code pointU+2203
HTML entity (named)∃
HTML decimal∃
HTML hex∃
CSS contentcontent: "\2203";
JavaScript"\u2203"
Python"\u2203"
Python (by name)"\N{THERE EXISTS}"
Java / C#"\u2203"
LaTeX\exists
UTF-8 bytesE2 88 83
UTF-162203
URL encoded%E2%88%83

∃ vs look-alike characters

These characters look similar to ∃ but have a different meaning and code. Pasting the wrong one can break search, sorting and screen readers.

CharNameWhen to use it
Capital Reversed E
U+018E		Latin capital letter reversed E, a letter in Pan-Nigerian alphabets.
There Does Not Exist
U+2204		There does not exist.
For All
U+2200		For all, the universal quantifier.

Symbols similar to ∃

Click to copy, or open a symbol for its codes. See the full math symbols collection.

∃ character properties

Official Unicode name
THERE EXISTS
Also known as
existential quantifier, exists, backwards e
Code point
U+2203
Unicode block
Mathematical Operators (U+2200–U+22FF)
General category
Math symbol (Sm)
Added in
Unicode 1.1 (1993)
Plane
Basic Multilingual Plane (0)
Emoji
No, it is a text symbol

Frequently asked questions

What does ∃! mean?

There exists exactly one. It combines existence (at least one) with uniqueness (at most one).

Is there an alt code for the there exists symbol?

No. ∃ is outside the Windows-1252 and code page 437 character sets, so no Alt + number code produces it. Copy it from this page, type 2203 then Alt + X in Word, or find it in Character Map.

How do I type the there exists symbol on a Mac?

There is no single Option shortcut for ∃ on the US layout. Press Control + Command + Space to open the Character Viewer, search for “there exists” and double-click it, or copy it from this page.

What is the HTML code for the there exists symbol?

Use the named entity ∃ or the numeric reference ∃ (hex ∃). All three display ∃ in every browser.

What is the Unicode for the there exists symbol?

∃ is U+2203, officially named THERE EXISTS, in the Mathematical Operators block. It has been part of Unicode since version 1.1 (1993).