TeX source:
0 = a_1x+a_0