Fuente TeX:
0 \leq y \leq x