Fuente TeX:
(\forall x)(\forall y) x =' y