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