In mathematics and logic, the universal quantifier is a quantifier used to state that a proposition applies to all elements in the universe of discourse. An example that uses this quantifier would be the proposition "All men are mortal". Usually, a turned A (∀) is used to denote the universal quantifier, "for all x" is written as either "∀x", "∀(x)".