TeX source:

x-a < 0