Output: [ x in [10;10] ]