<<< native [ ESymbol Bin "-" , ENumber "1" ] >>> tex - 1