TeX source:
\forall x.\ \Phi