Источник TeX:

\angle{O_2KO_1}=90^{o}