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