TeX source:

P_1=1