Zdroj TeX:

(x \in - \alpha \ \wedge \ \forall x^ \ast \in Q:\ x^ \ast \leq x) \Rightarrow (x^ \ast \in - \alpha)