Output: [ x in [-2;8] ]