Fuente TeX:

(\forall x) P(x) \not\in CONS(\alpha)