添加

Question

我尝试\xi在中放置一个带有变量的上标（平方） \widetilde：

$\widetilde{\xi}^2 = (\widetilde{\xi})^2 \neq \widetilde{\xi^2}$

给出

这似乎是相同的事情，但事实绝对不是！所以，我正在寻找某种方法将我的平方放在\widetilde{\xi}^2略高于我的的位置\widetilde。

对于像这样的“小变量”，不会发生此问题x：

$\widetilde{x}^2 = (\widetilde{x})^2 \neq \widetilde{^2}$

给出

毫无疑问，它能正确、清晰地放置我的平方。

有任何想法吗 ？

Answer 1

毕竟，这可能确实是你要找的答案。当“重音符号”由单个字符组成时，数学重音符号和上标（和/或下标）的相互放置需要经过特殊处理，详见附录 G 规则 12TeXbook（第 443 页），这可以非正式地描述为上标/下标直接“固定”在重音字符上。为了禁止应用此例外，只需在重音下添加不占用空间的“内容”，例如\mkern 0mu。

以下是 MWE：

% My standard header for TeX.SX answers:
\documentclass[a4paper]{article} % To avoid confusion, let us explicitly 
                                 % declare the paper format.

\usepackage[T1]{fontenc}         % Not always necessary, but recommended.
% End of standard header.  What follows pertains to the problem at hand.

\newcommand*{\ShowLists}{%
%   \begingroup
%       \showboxbreadth = 1000
%       \showboxdepth = 10
%       \tracingonline = 1
%       \showlists
%   \endgroup
}



\begin{document}

Test:
\( \widetilde{\xi}^{2}+\widetilde{\xi\mkern 0mu}^{2}\ShowLists \).
\ShowLists
Other test:
\( \tilde{\xi}^{2}+\tilde{\xi\mkern 0mu}^{2}\ShowLists \).\ShowLists

\end{document}

这是它产生的输出：

如果取消注释命令定义的主体\ShowLists，则编译期间将显示一些跟踪信息，准确解释正在发生的事情。

---

添加

事实证明，原作者对上述解决方案并不十分满意：指数上升过多。然后我们提出了一种完全不同的方法，将上标放在与括号中指数相同的垂直位置。但请注意，这会导致上标与波浪线冲突，因此需要在其左侧添加少量空间。还请注意，周围的括号\mathstrut是不是多余的！（这是\mathstrut因为不是（它本身不会产生一个原子，但会产生“其他”不能携带上标/下标的东西。）

% My standard header for TeX.SX answers:
\documentclass[a4paper]{article} % To avoid confusion, let us explicitly 
                                 % declare the paper format.

\usepackage[T1]{fontenc}         % Not always necessary, but recommended.
% End of standard header.  What follows pertains to the problem at hand.



\begin{document}

A completely different approach:
\( \widetilde{\xi}^{2} \neq \widetilde{\xi}{\mathstrut}^{\>2} \).

\end{document}

第二种情况的输出是：

Answer 2

您遇到的问题源于您想使用\widetilde而不是\tilde，这比\xi和都更合适x。

$\tilde{\xi}^{2}$\qquad
$\tilde{\xi}^{\,2}$\qquad
$\widetilde{\xi}^{2}$\qquad
$\widetilde{\xi}^{\,2}$\qquad
$\widetilde{\xi}{\mathstrut}^{\,2}$

$\tilde{x}^{2}$\qquad
$\tilde{x}^{\,2}$\qquad
$\widetilde{x}^{2}$\qquad
$\widetilde{x}^{\,2}$\qquad
$\widetilde{x}{\mathstrut}^{2}$

（我没有添加前言和结尾，因为这在纯 TeX 和 LaTeX 中的运行效果相同。）

不可能\tilde{\xi}^{2}将“xi squared with tilde applied to it”误认为是“xi tilde squared”。也许这是可以使用细空格的情况\,（不是x）。

正如您所注意到的，宽波浪号稍微超出了它的边界框，但无论如何，它的较小变体对于单个小写字母来说太宽了；也许它可以用于大写字母。

保持较小。

Answer 3

在这里，我提供了一个替代宏\reallywidetilde，基于但不同于我的答案数学模式中的大波浪符号。

\documentclass{article}
\usepackage{scalerel}
\usepackage{stackengine,wasysym}

\newcommand\reallywidetilde[1]{\ThisStyle{%
  \setbox0=\hbox{$\SavedStyle#1\mathstrut$}%
  \stackengine{.40\LMpt}{$\SavedStyle#1$}{%
    \stretchto{\scaleto{\SavedStyle\mkern.2mu\ACC}{.5150\wd0}}{.3\ht0}%
  }{O}{c}{F}{T}{S}%
}}
\def\ACC{\ooalign{\AC\cr\kern.25\LMpt\AC}}
\parskip 1ex
\begin{document}
widetilde

$\widetilde{\xi}^2 = (\widetilde{\xi})^2 \neq \widetilde{\xi^2}$

$\widetilde{x}^2 = (\widetilde{x})^2 \neq \widetilde{x^2}$

reallywidetilde

$\reallywidetilde{\xi}^2 = (\reallywidetilde{\xi})^2 \neq \reallywidetilde{\xi^2}$

$\reallywidetilde{x}^2 = (\reallywidetilde{x})^2 \neq \reallywidetilde{x^2}$
\end{document}