TeX source:

P(X > 0.75)