Zdroj TeX:

\alpha \neq \beta \wedge \alpha\cap \beta \neq \emptyset