TeX source:
\forall_i: c_i \leftarrow a_i \cdot b_i