Output: [ x in [-10;1] ]