Источник TeX:
\angle ABO=\frac{1}{2}\angle ABC