TeX source:
[0,2]