TeX source:
P(F)