Source TeX:
x\ge 0