<<< native [ EIdentifier "\960" , ESymbol Bin "+" , ENumber "1" ] >>> tex \pi + 1