Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search
U+2203, ∃
THERE EXISTS

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

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]

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

See also[edit]