Unicode Character "∃" (U+2203)

The character (There Exists) is represented by the Unicode codepoint U+2203. It is encoded in the Mathematical Operators block, which belongs to the Basic Multilingual Plane. It was added to Unicode in version 1.1 (June, 1993). It is HTML encoded as ∃.

Main Unicode Properties

Name There Exists
Unicode Codepoint U+2203
Unicode Version 1.1 (June, 1993)
Block Mathematical Operators
Plane Basic Multilingual Plane

Bidirectional Data

Bidirectional class Other Neutral (ON)
Is mirrored? Yes

Other Unicode Data

Category Math Symbol
Script Code for undetermined script
Combining Class Not Reordered

U+2203 Conversion

HTML (decimal) ∃
HTML (hex) ∃
HTML (named) ∃
URL Escape Code %E2%88%83
CSS \002203
JavaScript, JSON \u2203
C, C++, Java \u2203
Python \u2203
Rust \u{2203}
Ruby \u2203

How to type "∃"

  • Windows ?: Hold Alt, then type 2 2 0 3. Release Alt.
  • Mac ?: Hold Alt ⌥, then type 2 2 0 3. Release Alt.


  • Times, Times New Roman, serif
  • Helvetica, Arial, sans-serif
  • Courier, Courier New, monospace

UTF Encodings

UTF-8 (hex) 0xE2 0x88 0x83
UTF-16 (hex) 0x2203
UTF-32 (hex) 0x00002203

Characters based on "∃" (U+2203)