A logical quantifier symbol indicating the existence of at least one element satisfying a given condition.
Examples
Basic existence statement
\exists x \in \mathbb{R} : x^2 = 4
Unique existence in set theory
\exists! n \in \mathbb{N} : n + 2 = 5
Complex logical statement
\exists x \forall y (x < y \implies y > 10)