Источник TeX:

\angle ADC + \angle A = 180^{\circ}