TeX source:
P(-0.93