TeX source:
P(a < X < b)