TeX source:
P(X>80)