TeX source:

P({\text{User}}\vert {\text{Positive}})