TeX source:
[0,10]