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