Output: [ x in [-9;-9] ]