# Symbols:Set Theory/Universal Quantifier

$\forall$
$\forall x \in S: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the set $S$.
$\forall x: \map P x$ means that the propositional function $\map P x$ is true for every $x$ in the universal set.
The $\LaTeX$ code for $\forall$ is \forall .