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