Fuente TeX:

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