TeX source:
0\le y\le 1