Источник TeX:

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