TeX source:
[1,7]