[ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "x"),EGrouped [],ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "s"),EIdentifier "f",ESymbol Open "(",EIdentifier "y",ESymbol Close ")",ESpace (1 % 6),EIdentifier "d",EIdentifier "y",ESpace (1 % 6),EIdentifier "d",EIdentifier "s",ESymbol Rel "=",ESubsup (ESymbol Op "\8747") (EIdentifier "a") (EIdentifier "x"),EIdentifier "f",ESymbol Open "(",EIdentifier "y",ESymbol Close ")",ESymbol Open "(",EIdentifier "x",ESymbol Bin "\8722",EIdentifier "y",ESymbol Close ")",ESpace (1 % 6),EIdentifier "d",EIdentifier "y"]
