TeX source:
\forall_i: a_i \leftarrow b_i + c \cdot d_i