TeX source:
\forall_i:x_i\leftarrow x_i+a\cdot y