TeX source:

a-c < (b-d)-53