Fuente TeX:
0 \leq x-z+2