TeX source:
-18 < 9 x