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