TeX source:
P = (1,3)