Источник TeX:
\angle ADC + \angle C = 180^{\circ}