Источник TeX:
\angle ABC = 90^\circ - \alpha