TeX source:
P_{ij} ≥0 ∀i, j,