TeX source:
0\le x\le 1