Fuente TeX:
M \not\models (\forall x) \lnot P_1(x)