∃

There Exists

Unicode
U+2203
Category
Math
HTML Entity
∃
CSS
\2203
The "There Exists" symbol (∃) is a logical quantifier used in mathematics to indicate that at least one element in a set satisfies a specific condition. Originally introduced by mathematician Giuseppe Peano in 1897 as a backwards "E", it remains a fundamental staple in set theory, predicate logic, and formal proofs. While primarily found in academic papers and textbooks, you might also spot it in technical programming discussions or clever typographical puns online.

How to Type

Windows
Type 2203 followed by Alt+X in Microsoft Word, or press Win+. and search "there exists"
macOS
Control+Command+Space then search "there exists"
Linux
Ctrl+Shift+U then type 2203 and press Enter
HTML
∃ or ∃

In Programming

While rarely typed directly into source code, the concept of ∃ is widely implemented using array methods like `some()` in JavaScript or `any()` in Python to check if a condition holds true for at least one element. In mathematical markup languages like LaTeX, the symbol is generated using the `\exists` command.

Read full meaning article

Tags

LaTeX exists Peano notation U+2203 at least one backwards E existential quantifier existential quantifier symbol formal proof notation logic logical quantifier mathematics predicate logic symbol some

Related Symbols

± Plus Minus Sign × Multiplication Sign ÷ Division Sign ≠ Not Equal To ≈ Approximately Equal To ∞ Infinity √ Square Root ∑ Summation ∫ Integral π Pi ≤ Less Than or Equal To ≥ Greater Than or Equal To