∃
There Exists Symbol (∃)
Copy and paste the there exists symbol ∃ — click the button or any variant below
There Exists Symbol Copy and Paste
Click any symbol below to copy it to your clipboard instantly.
∃
There Exists
Copied!
∄
There Does Not Exist
Copied!
About the There Exists Symbol
Last reviewed on October 1, 2026
The existential quantifier ∃ reads “there exists”: ∃x such that x² = 2. ∃! means “there exists exactly one”.
Where ∃ is used
- Predicate logic and formal proofs.
- The ε–δ definition of a limit.
- ∄ (there does not exist) for negated statements.
Related characters
Browse the full Mathematical Symbols list, or pick a sibling character from the grid below.
How to Type the There Exists Symbol
Windows: Type 2203 then press Alt+X in Word to convert it into ∃
Mac: Press Ctrl+Cmd+Space to open the Character Viewer and search for “there exists”
Microsoft Word: Type 2203 then press Alt+X to convert it into ∃
LaTeX: \exists in math mode
HTML: Use the entity ∃ or the numeric code ∃
Phone & tablet: Copying ∃ from this page is fastest — see our mobile typing guide for keyboard tricks
There Exists Symbol Code for HTML, CSS & JavaScript
HTML: ∃
CSS: content: '\2203';
JavaScript: '\u2203'
Unicode: U+2203
Frequently Asked Questions
How do I type the there exists symbol ∃ on Windows?
Type 2203 then press Alt+X in Word to convert it into ∃. You can also copy ∃ straight from this page — it pastes into any app.
How do I type ∃ on a Mac?
Press Ctrl+Cmd+Space to open the Character Viewer and search for “there exists”.
What is the Unicode and HTML code for the there exists symbol?
The there exists symbol is Unicode code point U+2203. In HTML, use ∃ or the numeric reference ∃.
How do I write ∃ in LaTeX?
Use \exists in math mode, for example $\exists$.