TeX source:
u \geq x