TeX source:
\forall x.