TeX source:
[a_0*b_0,a_1*b_0+a_0*b_1,a_1*b_1]