Fuente TeX:
x\geq 3+1