[ESymbol Ord "\172",ESymbol Open "(",EIdentifier "p",ESymbol Bin "\8743",EIdentifier "q",ESymbol Close ")",ESymbol Rel "\8660",ESymbol Open "(",ESymbol Ord "\172",EIdentifier "p",ESymbol Close ")",ESymbol Bin "\8744",ESymbol Open "(",ESymbol Ord "\172",EIdentifier "q",ESymbol Close ")",EOver False (EGrouped [EUnderover True (ESymbol Op "\8899") (EGrouped [EIdentifier "i",ESymbol Rel "=",ENumber "1"]) (EIdentifier "n"),ESub (EIdentifier "A") (EIdentifier "i")]) (ESymbol TOver "\773"),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 "\773")]
