TeX source:

P(0 \leq X \leq 10)