TeX source:
[0, a]