Источник TeX:

\angle{ABD}=\frac{1}{2}\smile{BmD}