TeX source:
P(X \leq-2)