[EDown (EMathOperator "lim") (EGrouped [EIdentifier "z",ESymbol Rel "\8594",ESub (EIdentifier "z") (ENumber "0")]),EIdentifier "f",ESymbol Open "(",EIdentifier "z",ESymbol Close ")",ESymbol Rel "=",EIdentifier "f",ESymbol Open "(",ESub (EIdentifier "z") (ENumber "0"),ESymbol Close ")"]