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