TeX source:
a<0