TeX source:
4x-8 < 0