TeX source:

X \geq 9