Fuente TeX:

M \models \varphi