Skip to content
Free forever, no sign up

U+2203 · Mathematical Operators

There Exists ∃

The existential quantifier, a backward E, means "there exists" or "there is at least one" in logic and mathematics. ∃x P(x) asserts that some value of x satisfies P. It pairs naturally with the universal quantifier ∀, and ∃! is a common shorthand for "there exists exactly one."

UnicodeU+2203
HTML∃
∃U+2203

Character codes

Unicode code pointU+2203
Decimal8707
HTML named entity∃
HTML (hex)∃
HTML (decimal)∃
CSS\2203
JavaScript\u2203
Python\u2203
UTF-8 bytesE2 88 83
UTF-162203
URL-encoded%E2%88%83

Character details

Official nameTHERE EXISTS
Unicode blockMathematical Operators
General categoryMath Symbol (Sm)
SymbolHero categoryMath Symbols
EmojiNo

How to type ∃

Windows

  • In Microsoft Word or Outlook: type 2203 then press Alt + X.
  • Open Character Map (search “Character Map” in Start), tick “Advanced view”, search for “there exists”, then Select and Copy.

Mac

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

iPhone & Android

  • Tap Copy at the top of this page, then long-press where you want it and choose Paste.

Docs & web

  • Google Docs: Insert → Special characters, then search “there exists” or enter U+2203.
  • HTML: ∃ or ∃
  • Excel / Google Sheets: =UNICHAR(8707)

Examples

  • ∃x ∈ ℤ such that x² = 9
  • ∀ε > 0 ∃N such that |aₙ − L| < ε
  • ∃! solution to the system

Good to know

Don’t mix it up: It resembles Ǝ (U+018E, LATIN CAPITAL LETTER REVERSED E), a letter used in some African orthographies, which is not a math symbol.

Tip: In HTML, use the named entity ∃.

Display: the character itself is always the same code point, but its shape comes from the font on the device showing it. If you see an empty box, the font lacks this glyph—the text is still correct.

Guides

Common Math Symbols and Their Meanings

Similar math symbols

Not Sign
Degree Symbol
Plus-Minus Sign
Multiplication Sign
Division Sign
Per Mille Sign
Prime (Feet / Minutes)
Double Prime (Inches / Seconds)
For All
Partial Differential
Empty Set
Increment (Delta)
Element Of
N-Ary Product
Summation Sign
Minus Sign
Square Root Symbol
Infinity Symbol
Right Angle
Intersection
Union
Integral Sign

See all 714 math symbols →

Questions

What is the Unicode for ∃?

It is U+2203 (THERE EXISTS), decimal 8707.

Is there a Windows Alt code for it?

No standard Alt code exists for this character. In Word type 2203 then Alt+X, or copy it from this page.

How do I type it on a Mac?

There is no built-in Option shortcut. Use the Character Viewer (Control + Command + Space) and search “there exists”, or copy it from this page.

What is the HTML code?

Use the named entity ∃ or the numeric reference ∃.