<<< 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")) ] ] >>> omml lim z z 0 f z = f z 0