TeX source:
P(a)=0