[ESymbol Op "\172",EDelimited "(" ")" [Right (EIdentifier "p"),Right (ESymbol Bin "\8743"),Right (EIdentifier "q")],ESymbol Rel "\8660",EDelimited "(" ")" [Right (ESymbol Op "\172"),Right (EIdentifier "p")],ESymbol Bin "\8744",EDelimited "(" ")" [Right (ESymbol Op "\172"),Right (EIdentifier "q")],EOver False (EGrouped [EUnderover True (ESymbol Op "\8899") (EGrouped [EIdentifier "i",ESymbol Rel "=",ENumber "1"]) (EIdentifier "n"),ESub (EIdentifier "A") (EIdentifier "i")]) (ESymbol TOver "\175"),ESymbol Rel "=",EUnderover True (ESymbol Op "\8898") (EGrouped [EIdentifier "i",ESymbol Rel "=",ENumber "1"]) (EIdentifier "n"),EOver False (ESub (EIdentifier "A") (EIdentifier "i")) (ESymbol TOver "\175")]