Fuente TeX:

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