TeX source:
P(100 < X < 125)