TeX source:
x ≥ 0