TeX source:
P(\phi)=0