TeX source:
P(\empty)=0