TeX source:
5 a+18 < -27