TeX source:
\forall x\varphi (x)