Zdroj TeX:
( a \in \alpha') \wedge (a