Fuente TeX:

M \models \lnot (\forall x) \lnot \lnot P_1(x)