TeX source:
P2 \; (-3 \mid 8)