a <= x <= b