TeX source:

x-15 < 4