Source TeX:
a < 0