Fuente TeX:

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