<<< native [ EDelimited "|" "|" [ Right (EFraction NormalFrac (EIdentifier "H") (EIdentifier "K")) ] ] >>> mml $$\left|\frac{H}{K}\right|$$