∀
Jump to navigation
Jump to search
See also: Appendix:Variations of "a"
|
Translingual[edit]
Description[edit]
An upside-down capital letter A.
Etymology[edit]
Introduced by Gerhard Gentzen who based it on the Latin letter A, by analogy with ∃.
Symbol[edit]
∀
- (mathematics, logic) The symbol used in predicate calculus, etc, to represent the universal quantifier, meaning “for all”.
- Synonym: ⋀