TeX source:
x_0\in [a,b]