TeX source:

P (-4 \mid 7)