Источник TeX:
\angle ABC = \angle DCC_1