Fuente TeX:
\forall y (x =' y \to \varphi[y/x])