Источник TeX:
\angle{A_1OB_1}=\alpha