[ESymbol Open "\8739",EOver (EGrouped [EIdentifier "z"]) (ESymbol Accent "\8254"),ESymbol Open "\8739",ESymbol Rel "=",ESymbol Open "\8739",EIdentifier "z",ESymbol Open "\8739",ESymbol Pun ",",ESymbol Open "\8739",ESymbol Open "(",EOver (EGrouped [EIdentifier "z"]) (ESymbol Accent "\8254"),ESuper (ESymbol Close ")") (EIdentifier "n"),ESymbol Open "\8739",ESymbol Rel "=",ESymbol Open "\8739",EIdentifier "z",ESuper (ESymbol Open "\8739") (EIdentifier "n"),ESymbol Pun ",",EMathOperator "arg",ESymbol Open "(",ESuper (EIdentifier "z") (EIdentifier "n"),ESymbol Close ")",ESymbol Rel "=",EIdentifier "n",EMathOperator "arg",ESymbol Open "(",EIdentifier "z",ESymbol Close ")"]