Output: [ x in [-oo;+oo] ]