TeX source:
\forall_{i,j}: y_i \leftarrow a_{i j} \cdot x_j