TeX Quellcode:
4x-8 < 0