Источник TeX:
\angle AOA_{1}=90^\circ