<<< native [ EGrouped [ ESuper (EIdentifier "\8519") (EGrouped [ EIdentifier "\8520" , EIdentifier "\960" ]) , ESymbol Bin "+" , ENumber "1" ] , ESymbol Rel "=" , ENumber "0" ] >>> mml π + 1 = 0