Источник TeX:

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