<<< native [ ESuper (ENumber "2") (ENumber "5") , ESymbol Bin "+" , EIdentifier "x" ] >>> mml $$2^5+x$$