∃

See also: ∄, 티, Ǝ, ∃!, and Appendix:Variations of "e"
∃ U+2203, ∃
(LaTeX: \exists)
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
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.