TeX source:

P(X>0)