答案1
答案2
答案3
答案4
一个重要的方面是箭头和描述符不应该添加水平空间(但在其他情况下避免冲突取决于您)。
\documentclass{article}
\usepackage{amsmath}
\newcommand{\subdesc}[2]{%
% #1 = main part, #2 = subdescriptor
\begin{array}[t]{@{}c@{}}
#1 \\
\noalign{\vspace{-0.6ex}}
\hidewidth \scriptstyle\uparrow \hidewidth \\
\noalign{\vspace{-0.3ex}}
\hidewidth #2 \hidewidth
\end{array}%
}
\begin{document}
\[
0 = x^3 - \subdesc{4}{p}x^3 + \subdesc{3}{q}
\]
\[
0 = x^3 - \subdesc{4}{a}x^3 + \subdesc{3}{b}
\]
\[
0 = x^3 - \subdesc{4}{u-v}x^3 + \subdesc{3}{b}
\]
\end{document}
箭头位于其中\scriptstyle
以使其不那么突出,但这需要稍微修复一下垂直间距。