Source TeX:
P(F_2)