Fuente TeX:

( \exists a, b \in |M|) (M|=P1(a) sii M|=P2(a,b))