Output: [ x in [-50;30] ]