TeX source:
P1 \; (1 \mid 2)