TeX source:
x_0\in (a,b).