TeX source:

P(\bar{X} > 113)