Fuente TeX:

M_2 \vDash \lnot (\exists x) (\exists y) \lnot P_2(x,y)