Fuente TeX:

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