TeX source:
x-a > 0