universal quantifier

See quantifier.