<<< native [ ESymbol Rel "\8739" , EFraction NormalFrac (EIdentifier "H") (EIdentifier "K") , ESymbol Rel "\8739" ] >>> eqn \[u2223] H over K \[u2223]