TeX source:
4x-8>0