Definition from Wiktionary, the free dictionary
Jump to: navigation, search
U+2203, ∃
(LaTeX: \exists)
THERE EXISTS

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

Translingual[edit]

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

Description[edit]

A horizontally reversed capital letter E.

Symbol[edit]

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

Synonyms[edit]

  • (existential quantifier):

Antonyms[edit]

  • (existential quantifier):

See also[edit]