TeX source:
P(X \geq 9)