Fuente TeX:
\models \varphi