Источник TeX:
\angle FOK = \angle COT