TeX source:
P(0.4 < X < 0.7)