TeX source:
P(X\leq 4)