<<< mml 0 1 f ( x ) x = i = 0 x i = i = 0 x i = i = 0 x i = 0 1 f ( x ) x = 0 1 f ( x ) x = 0 1 f ( x ) x >>> native [ ESubsup (ESymbol Op "\8747") (ENumber "0") (ENumber "1") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , ESpace (1 % 9) , ESymbol Ord "\8518" , EIdentifier "x" , ESymbol Rel "=" , EUnderover False (ESymbol Op "\8721") (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ]) (EIdentifier "\8734") , ESub (EIdentifier "x") (EIdentifier "i") , ESymbol Rel "=" , EUnderover False (ESymbol Op "\8719") (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ]) (EIdentifier "\8734") , ESub (EIdentifier "x") (EIdentifier "i") , ESymbol Rel "=" , EUnderover False (ESymbol Op "\8720") (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ]) (EIdentifier "\8734") , ESub (EIdentifier "x") (EIdentifier "i") , ESymbol Rel "=" , ESubsup (ESymbol Op "\8750") (ENumber "0") (ENumber "1") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , ESpace (1 % 9) , ESymbol Ord "\8518" , EIdentifier "x" , ESymbol Rel "=" , ESubsup (ESymbol Op "\8748") (ENumber "0") (ENumber "1") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , ESpace (1 % 9) , ESymbol Ord "\8518" , EIdentifier "x" , ESymbol Rel "=" , ESubsup (ESymbol Op "\8749") (ENumber "0") (ENumber "1") , EIdentifier "f" , EDelimited "(" ")" [ Right (EIdentifier "x") ] , ESpace (1 % 9) , ESymbol Ord "\8518" , EIdentifier "x" ]