There exists

∃ is the Unicode character “THERE EXISTS” (U+2203). It belongs to the Mathematical Operators block and was added in Unicode 1.1. Click it to copy, or use the codes below.

∃ codes

UnicodeCode point U+2203
HTML codeDecimal, works in any HTML page ∃
HTML hexHexadecimal HTML code ∃
HTML entityNamed HTML entity ∃
CSSFor the CSS content property \2203
JavaScriptEscape in JavaScript strings \u2203
PythonEscape in Python strings \u2203
URL encodedPercent-encoded UTF-8 %E2%88%83
UTF-8Bytes in UTF-8 E2 88 83
UTF-16Code units in UTF-16 2203

How to type ∃

Copy and paste

Click to copy it, then paste with Ctrl + V (⌘ + V on a Mac) or a long press on phones.

Windows

Press Win + . to open the emoji and symbol panel, then search for “there exists”.

In Microsoft Word, type 2203 and press Alt + X.

Mac

Press Control + ⌘ + Space to open the Character Viewer, then search for “there exists”.

iPhone and Android

Copy it here and paste it. To type it again later, save it as a text replacement (iPhone: Settings › General › Keyboard › Text Replacement; Gboard: Settings › Dictionary › Personal dictionary).

HTML and CSS

Unicode U+2203. Every format is on the there exists page.

About ∃

Unicode name
THERE EXISTS
Code point
U+2203 (8707)
Block
Mathematical Operators
Category
Math Symbol
Unicode version
1.1