Источник TeX:
\angle{ADC}=\pi-\varphi