Источник TeX:
\angle A_1 = \angle K