TeX source:

P(80)