TeX source:
I=[0,2)