Xerobit

There Exists Symbol ∃: Copy and Paste

The there exists symbol is ∃. Click the button to copy it, or use the Unicode value U+2203, the HTML code or the keyboard shortcuts below to type it anywhere.

  • Symbol
    ∃
  • Unicode
    U+2203
  • HTML (decimal)
    ∃
  • HTML (hex)
    ∃
  • HTML entity
    ∃
  • CSS
    \2203
  • JavaScript
    \u2203

There Exists Symbol codes and values

FormatValue
UnicodeU+2203
HTML (decimal)∃
HTML (hex)∃
HTML entity∃
CSS\2203
JavaScript\u2203

The official Unicode name is "There Exists".

How to type the there exists symbol

Windows

  1. In Microsoft Word, type 2203 and press Alt + X to turn the code into ∃.
  2. Or press Win + . to open the emoji and symbol panel and search for it.

Mac

  1. Press Control + Command + Space to open the Character Viewer and search for "there exists".
  2. Or add the "Unicode Hex Input" keyboard in System Settings, hold Option and type 2203.

Linux

  1. In GTK apps press Ctrl + Shift + U, type 2203 and press Enter.

Web pages

Write ∃ or ∃ in HTML, or paste the character directly into a UTF-8 page.

Encoding details

EncodingValue
Code pointU+2203 (decimal 8707)
UTF-8 bytesE2 88 83
URL encoded%E2%88%83
CategorySm

What the there exists symbol means

This logical quantifier means that at least one element satisfying a given condition exists within a domain. Mathematicians and logicians use it extensively in formal statements, theorems, and predicate calculus expressions.

Using the there exists symbol well

Insert this symbol via Unicode U+2203 in documents or source code. Always pair it with proper mathematical markup like MathML so accessibility tools can read the logical statement aloud accurately.

Characters next to it in Unicode

CharacterCodeName
∀U+2200For All
∁U+2201Complement
∂U+2202Partial Differential
∄U+2204There Does Not Exist
∅U+2205Empty Set
∆U+2206Increment

FAQ

What is the Unicode for the there exists symbol?

The there exists symbol ∃ is U+2203 (There Exists).

How do I type ∃ on a keyboard?

There is no classic Alt code for it. On Windows type 2203 in Word and press Alt + X, on Mac use the Character Viewer, and on Linux press Ctrl + Shift + U then 2203.

What is the HTML code for ∃?

Use ∃ or the named entity ∃. The hexadecimal form is ∃.

More symbols