与多个下标混合时 \widehat 的行为

Question

我想知道，对于下面这种情况，是否有可能让宽帽覆盖上标“2”，而且两个下标“X，Y”可以无缝地放置在“T”的侧面。

\documentclass{amsart}
\begin{document}

\begin{displaymath}
\widehat{T}^2_X\qquad\widehat{T^2_X}\qquad\widehat{T^2_{X,Y}}\qquad\widehat{T^2}_{X,Y}
\end{displaymath}

\end{document}

本质上，我正在寻找类似第三个符号的东西，其中宽帽不会延伸到“Y”。任何帮助都将不胜感激！

Answer 1

您可以隐藏下标的大小，然后在外面进行补偿（这里我只是使用了\quad而不是精确的测量）

\documentclass{amsart}
\usepackage{mathtools}
\begin{document}

\begin{displaymath}
\widehat{T^2_{\mathrlap{X,Y}}}\quad + Q
\end{displaymath}

\end{document}

Answer 2

需要进行一些测量：

\documentclass{article}
\usepackage{amsmath,mathtools}

\NewDocumentCommand{\WH}{m e{^_}}{%
  \IfNoValueTF{#3}{% no subscript
    \IfNoValueTF{#2}{% no superscript
      \widehat{#1}%
    }{% superscript
      \widehat{#1^{#2}}%
    }%
  }{% subscript
    \WHdo{#1}{#2}{#3}%
  }%
}

\makeatletter
\NewDocumentCommand{\WHdo}{mmm}{\mathpalette\WHdo@{{#1}{#2}{#3}}}
\newcommand{\WHdo@}[2]{\WHdo@@#1#2}
\newcommand{\WHdo@@}[4]{%
  % measure without the wide hat
  \sbox0{$\m@th#1#2\IfValueT{#3}{^{#3}}_{#4}$}%
  % measure without the subscript
  \sbox2{$\m@th#1#2\IfValueT{#3}{^{#3}}$}%
  % output with a zero width subscript
  \widehat{#2\IfValueT{#3}{^{#3}}_{\mathrlap{#4}}}
  % fix the spacing
  \kern\dimexpr\wd0-\wd2\relax
}
\makeatother

\begin{document}

\begin{gather*}
\WH{T}^{2}_{X,Y}+x \\
T^{2}_{X,Y}+x \\
\WH{T}_{X,Y}+x \\
T_{X,Y}+x \\
\textstyle \WH{T}^{2}_{X,Y}+x \\
\textstyle T^{2}_{X,Y}+x \\
\WH{a}^{2}_{X,Y}+x \\
a^{2}_{X,Y}+x
\end{gather*}

\end{document}