TeX source:

x-24 \geq 9