Fuente TeX:
\models (\forall x) \varphi