Fuente TeX:

(\forall x)(\alpha[x/y])\, eq\, (\forall z)(\alpha[z/y])