TeX source:
P_1 (-2 \mid 8)