TeX source:

[a_0,a_1]