TeX source:
x\geq-54