TeX source:
P(30 < X < 40)