TeX source:

P(X > 52.2)