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