TeX source:
x\ge~y