TeX source:
P(8 < X < 14)