Fuente TeX:

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