TeX source:
0 \leq P_{i j}^{a n t}(t) \leq 1