TeX source:
P(X) > 0