Fuente TeX:
\models \varphi \rightarrow \psi