Fuente TeX:

M_1 \not\models \varphi_4