largeopPos3.test

<<< native
[ EUnderover
    False
    (ESymbol Op "\8898")
    (EGrouped [ EIdentifier "i" , ESymbol Rel "=" , ENumber "0" ])
    (EIdentifier "\8734")
, EGrouped
    [ EIdentifier "A" , ESymbol Bin "\8745" , EIdentifier "B" ]
]
>>> typst
sect.big_(i eq 0)^oo A sect B