Open main menu
U+2203, ∃
(LaTeX: \exists)
THERE EXISTS

[U+2202]
Mathematical Operators
[U+2204]

TranslingualEdit

DescriptionEdit

A horizontally reversed capital letter E.

EtymologyEdit

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).

SymbolEdit

  1. (mathematics, logic) The existential quantifier, meaning "there exists (at least one)".
    Synonym:
    Antonym:

See alsoEdit