TeX source:

x\geq4