∀

See also: Appendix:Variations of "a"

∀ U+2200, ∀
FOR ALL
← ⇿
[U+21FF] 		Mathematical Operators ∁ →
[U+2201]

Translingual

Description

An upside-down capital letter A.

Etymology

Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.

Symbol

∀

  1. (mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.
    Synonym: ⋀

See also
  • ∃
  • da, de, di, ro, 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.