TeX source:
P(5 \leq X \leq 9)