<<< mml ${\displaystyle \coprod _{i=0}^{\infty }{x}_i}$ >>> native [ EUnderover False (ESymbol Op "\8720") (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ]) (EIdentifier "\8734") , ESub (EIdentifier "x") (EIdentifier "i") ]