Output: [ x in {-9} ]