TeX source:
5 a < -45