<<< mml $\left|H\right|+⟨H\mid H⟩$ >>> native [ EDelimited "|" "" [ Right (EIdentifier "H") , Left "|" , Right (ESymbol Bin "+") , Right (EDelimited "\10216" "\10217" [ Right (EIdentifier "H") , Right (ESymbol Rel "\8739") , Right (EIdentifier "H") ]) ] ]