[EGrouped [EStretchy (ESymbol Open "|"),EBinary "\\frac" (EIdentifier "H") (EIdentifier "K"),EStretchy (ESymbol Close "|")]]