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