<<< mml $$\stackrel{\mathrm{mover\; over\; script}}{\mathrm{mover\; baseline}}=\stackrel{\phantom{\mathrm{fail}}}{\stackrel{\mathrm{mover\; over\; script}}{\mathrm{mover\; baseline}}}$$ >>> native [ EOver False (EIdentifier "mover baseline") (EIdentifier "mover over script") , ESymbol Rel "=" , EOver False (EOver False (EIdentifier "mover baseline") (EIdentifier "mover over script")) (EPhantom (EIdentifier "fail")) ]