Источник TeX:
\angle ABC \lt \angle ABO + \angle CBO