TeX source:
60 a+64 \geq 80 a-92