Source TeX:
\forall \; x \ne 2