Fuente TeX:

CONS(\alpha) \cup \{ (\forall x) P(x) \}