TeX source:
P(X > 69.75)