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