<<< mml $$2^3=2^{3^{\phantom{\mathrm{fail}}}}$$ >>> native [ ESuper (ENumber "2") (ENumber "3") , ESymbol Rel "=" , ESuper (ENumber "2") (ESuper (ENumber "3") (EPhantom (EIdentifier "fail"))) ]