TeX Quellcode:

P (-4 \mid 7)