TeX source:
P_{3} = \text{"point at infinity"}