chain2.test

<<< 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"
]
>>> typst
integral_0^1 f lr((x)) #h(0em) ⅆ x eq sum_(i eq 0)^oo x_i eq product_(i eq 0)^oo x_i eq product.co_(i eq 0)^oo x_i eq integral.cont_0^1 f lr((x)) #h(0em) ⅆ x eq integral.double_0^1 f lr((x)) #h(0em) ⅆ x eq integral.triple_0^1 f lr((x)) #h(0em) ⅆ x