Источник TeX:

\angle O_1DO_2 = 90^{\circ}