Fuente TeX:

M_1 \models \ ( ( \forall x )( \forall y )(\neg(P_1(x) \leftrightarrow P_2(x,y)))