prod2.test

<<< native
[ EUnderover
    False
    (ESymbol Op "\8719")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ])
    (EIdentifier "\8734")
, ESub (EIdentifier "x") (EIdentifier "i")
]
>>> typst
product_(i eq 0)^oo x_i