TeX source:
P(X > 113 )