Definition from Wiktionary, the free dictionary
Jump to: navigation, search
Character
Unicode name FOR ALL
Code point U+2200
Unicode block Mathematical Operators
[U+21FF] [U+2201]

Translingual[edit]

Etymology[edit]

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

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]


English[edit]

Symbol[edit]

  1. universal quantifier: for all

Dutch[edit]

Symbol[edit]

  1. universal quantifier: voor alle

Spanish[edit]

Symbol[edit]

  1. universal quantifier: para todo