∀

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)