If a proposition is true for all , this is written . is one of the two so-called quantifiers, and translates the universal quantifier .
The Wolfram Language expression ForAll[x, expr] can be used to represent the statement that expr is true for all values of x.