TeX source:
x-24+24 \geq 9+24