There Exists

A symbol from the Math Symbols collection. Click the symbol or the button below to copy.

Symbol: ∃
Unicode: U+2203
HTML entity: ∃
Category: Math Symbols

Export

Download There Exists as a vector SVG or a raster PNG.

PNG size

SVG uses the system font stack — open in any vector editor and convert to outlines if needed. PNGs have a transparent background.

42 of 58 in the math symbols collection

About the there exists symbol

Representing the concept of existential quantification, ∃ is an uppercase reversed letter E formally named There Exists. It originates from the Mathematical Operators block and is pronounced as there exists or for some when read aloud in technical contexts. This symbol serves as a foundational element of symbolic logic and predicate calculus to indicate that at least one member of a specific set satisfies a given property.

In practical application, this character is most frequently encountered in academic textbooks, formal logic proofs, and advanced computer science theory. Mathematicians use it to define limits and continuity, while programmers may see it referenced in documentation regarding formal verification or type theory. Beyond these technical fields, it occasionally appears in philosophy papers or high-level physics equations to denote the presence of a solution or entity within a defined universe.

How to type There Exists

Native keyboard shortcuts for each operating system — derived from the codepoint, so the steps below are always accurate.

Windows

2 options

In Word / Outlook: type 2203 then press Alt + X.
Anywhere: press Win + . to open the emoji & symbol picker, then search.

macOS

2 options

Enable “Unicode Hex Input” in System Settings → Keyboard, then hold Option and type 2203.
Or: Control + Command + Space opens the Character Viewer — search by name.