TeX source:
P = 20