Fuente TeX:

( \exists x)( \exists y) (P(x,y) \rightarrow P(f(x),f(y)))