TeX source:
P_1(0 \mid -16)