Источник TeX:
(a - b) + (b - c) > 0