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 \2203
JavaScript \u{2203}
JSON \u2203
C, C++ \U00002203
Java \u2203
Python \U00002203
Rust \u{2203}
Ruby \u{2203}

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.

Preview

  • ∃
    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)

References