TeX source:

∀x ∀y (P(x) → Q(x,f(x),z))