TeX source:

P(0.5 < Z < 1.57)