TeX source:

P(118 < X < 160)