TeX source:

P(X \leq 80)