Источник TeX:

\angle ABO=\frac{\alpha}{2}