TeX source:
x < 8