Источник TeX:
\angle 4 = \angle 5 - \angle 6