<<< native [ EUnderover False (ESymbol Op "\8719") (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ]) (EIdentifier "\8734") , ESub (EIdentifier "x") (EIdentifier "i") ] >>> eqn prod from {i = 0} to inf x sub i