[EGrouped [ESymbol Op "\8739",EBinary "\\frac" (EIdentifier "H") (EIdentifier "K"),ESymbol Op "\8739"]]