Fuente TeX:

(\forall x) P(x,g(z,y)) \rightarrow (\forall y)Q(g(z,y),g(z,y))