TeX source:
\forall_i:x_i\leftarrow x_i+y_i