TeX source:
x \geq a