Zdroj TeX:

\Rightarrow -x \in \alpha') \Leftrightarrow (Q \subset \alpha')