TeX source:

P(X \leq 0.2)