TeX source:

P({\text{dot received}})