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