Fuente TeX:

((\forall y) y =' c \rightarrow P(y,y)) [f(y)/y]