Fuente TeX:

M_2 \not\models \varphi_1