Источник TeX:
AB + BC > AC