∃
Jump to navigation
Jump to search
|
Translingual[edit]
Description[edit]
A horizontally reversed capital letter E.
Etymology[edit]
Introduced by Giuseppe Peano in Formulaire de mathematiqués (1897), from the uppercase Latin letter E. The modern variable-binding syntax first appeared in Principia Mathematica (1910).
Symbol[edit]
∃
- (mathematics, logic) The existential quantifier, meaning "there exists (at least one)".