Source TeX:
[0 , a_0]