TeX source:
[1.5, 3.5]