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