There Exists symbol
Type :there_exists: · Math
Unicode name There Exists · Mathematical Operators block · added in Unicode 1.1, 1993
What ∃ is for
The existential quantifier: at least one value makes the statement true. A backwards E, for "exists". Struck through it means no such value exists.
How to type ∃
The shortcuts below are the built-in routes. With
Emoji Anywhere
installed you can skip all of them and type
:there_exists: in any text field instead, which
is the same on every platform.
macOS
No direct shortcut. Use Edit → Emoji & Symbols, or switch to the Unicode Hex
Input source and type 2203 with Option
held.
Windows
No Alt code. In Word, type 2203 then press Alt +
X. Elsewhere use the emoji panel with Win + Period, or Character Map.
Shortcodes
:there_exists: On the web
HTML ∃
Unicode U+2203
JavaScript '\u{2203}'
CSS "\2203"
Python '\u2203'
URL %E2%88%83
More from math
:element_of: ∉ :not_an_element_of: ⊂ :subset_of: ∪ :union: ∩ :intersection: ∀ :for_all: ∅ :empty_set: ¬ :not_negation: ∧ :logical_and: ∨ :logical_or: ∴ :therefore: ∵ :because: Every symbol and kaomoji is in the full gallery .
Tired of copying ∃ from pages like this one?
That is exactly what the extension removes. Here is the whole interaction, in every text field you already use:
You type
You get
Your keyboard already knows what you mean
Free, 290 KB, no account. Two letters from now you will never open an emoji panel again.
