∃

See also: ∄, Ǝ, ∃!, 彐, ヨ, 크, and Appendix:Variations of "e"

∃ U+2203, ∃ THERE EXISTS ← ∂ [U+2202] Mathematical Operators ∄ → [U+2204]

Translingual

Description

A horizontally reversed capital letter E.

Etymology

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

∃

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

   Synonym: ⋁

   Antonym: ∄

See also

• ∀
• ∃!
• da, de, di, zo'u (Lojban)