Fuente TeX:

(\forall \alpha \in \Gamma) \text{ si } \alpha \in \Delta \text{, entonces } x\alpha \in \Delta