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