Fuente TeX:
\sup A\cap B\leq\sup A=\alpha