[EDelimited "|" "|" [Right (EFraction NormalFrac (EIdentifier "H") (EIdentifier "K"))]]