TeX source:
P \; (4\mid 5 \mid 1)