Fuente TeX:

M_2 \not\models \Gamma