TeX source:
−1 < 9