The
universal quantifier is the symbol ∀ in
predicate calculus. It roughly represents the phrase "for all". For example
- ∀ x>1, x^{2}>x
means "for all
x greater than one,
x^{2}>
x".
See Universal quantification for details.
All Wikipedia text
is available under the
terms of the GNU Free Documentation License