TeX source:
c_0=a_0*b_0