TeX source:
x-8 > 0