TeX source:

P({\text{dot sent }}\mid {\text{ dot received}})