TeX source:
P(X >  113 )