Источник TeX:
\smile AB = \smile CD