<<< native [ ENumber "2" , ESymbol Bin "+" , ENumber "5" ] >>> tex 2 + 5