Fuente TeX:

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