<<< native
[ EUnder
    True
    (EMathOperator "lim")
    (EGrouped
       [ EIdentifier "z"
       , ESymbol Rel "\8594"
       , ESub (EIdentifier "z") (ENumber "0")
       ])
, EIdentifier "f"
, EDelimited "(" ")" [ Right (EIdentifier "z") ]
, ESymbol Rel "="
, EIdentifier "f"
, EDelimited
    "(" ")" [ Right (ESub (EIdentifier "z") (ENumber "0")) ]
]
>>> typst
lim_(z arrow.r z_0) f lr((z)) eq f lr((z_0))