of a universal quantifier is true of every value of a predicate variable.

It is usually denoted by the turned A (?) logical operator symbol, which, when used together with a predicate variable, is called a universal quantifier ("", "", or sometimes by "" alone). Universal quantification is distinct from ''existential'' quantification