[EGrouped [EStretchy (ESymbol Open "|"),EIdentifier "H",EStretchy (ESymbol Op "|"),ESymbol Op "+",EStretchy (ESymbol Open "\10216"),EIdentifier "H",ESymbol Op "\8739",EIdentifier "H",EStretchy (ESymbol Close "\10217")]]