TeX source:
a < -1