<<< native [ ESub (EIdentifier "H") (ESymbol Ord "2") , ESymbol Rel "=" , EOver False (ESub (EIdentifier "H") (ESymbol Ord "2")) (EPhantom (EIdentifier "x")) ] >>> mml $$H_2=\stackrel{\phantom{x}}{H_2}$$