TeX source:
x-15 \leq-6