TeX source:
\forall_{i \in I_p}: y_i = \sum_{j}a_{ij}x_i