TeX source:

x_0\in \, ]a,b[