TeX source:
P(X \geq 0)