TeX source:

[0,1)