TeX source:
a < 0