TeX source:
[0,7 / 2]