TeX source:
a+c < b+c