TeX source:
\forall_i: a_{i+1} \leftarrow a_ib_i+c_i