scriptscriptstyle-sized 素数，具有相对缩放

Question

我的问题与如何获得 scriptscriptstyle 大小的素数？但是，我不知道如何使用该问题的答案来解决我的问题。

在下面示例输出的第一行中，我使用了'各种上下文，这些上下文大概是确定渲染的素数是否在subscriptstyle、scriptscriptstyle等中。这很好用，直到我达到一定的嵌套级别，此时素数不会再变小，就像第四个素数的情况一样'。（我相信素数 #2 和 #3 是并且应该是相同的大小。）

@egreg 在先前的问题：基本上'相当于，因此在scriptscriptstyle中^{\prime}得到一个素数。scriptscriptstylescriptstyle and the same in

我希望素数 #4 能够相应地缩放，之前的问题提出了一个解决方案。但是我不确定如何调整该解决方案以便自动缩放：我希望能够'在我的定义中统一使用（或一些合适的宏），并让生成的素数以适当的大小呈现，这取决于上下文。

第二行输出显示了当我天真地采用前面问题的解决方案时发生的情况。这种行为似乎是错误的：第一个素数太小，而素数 #4 仍然太大。

\documentclass{article}

\usepackage{amsmath}
\usepackage{scalerel}

\newcommand\scale[2]{\vstretch{#1}{\hstretch{#1}{#2}}}
\newcommand\ssp[1]{#1^{\scale{.6}{\scriptstyle\prime}}}

\begin{document}
\[
\ssp{a} \quad E^{\ssp{a}}
\xrightarrow{\ssp{a} \quad E^{\ssp{a}}}
\]
\[
a' \quad E^{a'}
\xrightarrow{a' \quad E^{a'}}
\]
\end{document}

我如何调整先前问题的解决方案以提供相对缩放比例？我尝试\scriptstyle从定义中删除显式\ssp；然后素数 #4 看起来正确，但 #2 和 #3 看起来错误。

Answer 1

\ssp引用答案中的定义，如何获得 scriptscriptstyle 大小的素数？，专门用于\scriptscriptstyle。要使宏（我保留了相同的名称，但您可以更改它以适应）适用于所有数学样式，只需使用\mathchoice。在大多数数学样式中，它只是#1^\prime。只有在\scriptscriptstyle替代定义才会发挥作用（我也稍微简化了替代定义）。

\documentclass{article}

\usepackage{amsmath}
\usepackage{graphicx}

\newcommand\ssp[1]{\mathchoice{#1^\prime}{#1^\prime}{#1^\prime}%
  {#1^{\scalebox{.7}{$\scriptscriptstyle\prime$}}}
}

\begin{document}
\[
\ssp{a} \quad E^{\ssp{a}}
\xrightarrow{\ssp{a} \quad E^{\ssp{a}}}
\]
\end{document}