TeX source:
d - (b+c-a) \leq - 53