Fuente TeX:
x\leq 3-1