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