Source TeX:

[0,1[