TeX source:

[0,7]