TeX source:
P_2=3