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