Fuente TeX:

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