<<< mml $$a^2=a^{\stackrel{\phantom{x}}{2}}$$ >>> native [ ESuper (EIdentifier "a") (ENumber "2") , ESymbol Rel "=" , ESuper (EIdentifier "a") (EOver False (ENumber "2") (EPhantom (EIdentifier "x"))) ]