TeX source:
P(a)