Fuente TeX:
(\forall x)(\forall y) \alpha