[ESymbol Open "|",EOver False (EIdentifier "z") (ESymbol Accent "\8254"),ESymbol Open "|",ESymbol Rel "=",ESymbol Open "|",EIdentifier "z",ESymbol Open "|",ESymbol Pun ",",ESymbol Open "|",ESymbol Open "(",EOver False (EIdentifier "z") (ESymbol Accent "\8254"),ESuper (ESymbol Close ")") (EIdentifier "n"),ESymbol Open "|",ESymbol Rel "=",ESymbol Open "|",EIdentifier "z",ESuper (ESymbol Open "|") (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 ")"]