TeX source:
P4 \; (9 \mid -9)