Universal quantification

Type Quantifier Mathematical logic ${\displaystyle \forall xP(x)}$ is true when ${\displaystyle P(x)}$ is true for all values of ${\displaystyle x}$. ${\displaystyle \forall xP(x)}$
Quantification in general is covered in the article on quantification (logic). The universal quantifier is encoded as U+2200 FOR ALL in Unicode, and as `\forall` in LaTeX and related formula editors.