TeX source:

P(7) = 07