Definition from Wiktionary, the free dictionary
Jump to: navigation, search
U+2200, ∀
(LaTeX: \forall)
FOR ALL

[U+21FF]
Mathematical Operators
[U+2201]

Translingual[edit]

Etymology[edit]

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

Description[edit]

An upside-down capital letter A.

Symbol[edit]

  1. (mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning "for all".

Synonyms[edit]

  • (universal quantifier):

See also[edit]