∃

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

Synonyms

  • (existential quantifier): ⋁

Antonyms

  • (existential quantifier): ∄

See also

  • ∀
  • ∃!
  • da, de, di, zo'u (Lojban)
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.