Fuente TeX:

(P_{1}(x,y) \leftrightarrow (\neg (x =´ y) \wedge ((\exists z)((z =´ f(x)) \wedge (z =´ f(x))))))