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