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