TeX source:
P\left(\overline{X}\gt36\right)