Источник TeX:

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