Definify.com

Definition 2024


U+2200, ∀
(LaTeX: \forall)
FOR ALL

[U+21FF]
Mathematical Operators
[U+2201]
See also: Appendix:Variations of "a"

Translingual

Symbol

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

Synonyms

  • (universal quantifier):

See also