使“ ' ”符号更靠近变量

Question

我正在写的论文中有以下符号：

\hat{c}_{\omega l}^\dagger {}' {}'

和

\hat{c}_{\omega l} ''

我希望带匕首的术语的双破折号与匕首相邻（与非匕首术语的美感相似）。但我似乎无法充分实现这一点。这是{}' {}'必要的，否则 Overleaf 会给我“双上标警告”，因为已经有^{\dagger}上标了，否则

\hat{c}_{\omega l}^{\dagger ''}

产生了不理想的结果，其中双破折号现在变为上标。

任何帮助都将不胜感激！

Answer 1

撇号本质上等同于^{\prime}，这就是从 获得输出的原因。在大多数情况下，与^{\dagger''}相比，这是一种非常方便的简写。在您的情况下，您不需要二级上标。f'(x)f^{\prime}(x)

解决方案：使用\prime。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\[
\hat{c}_{\omega l}^{\dagger\prime\prime}
\]

\end{document}

几点说明。我经常在 Math.SE 中看到类似这样的内容

f^{'}(x)

这是错误的。撇号隐含着^，因此它相当于f^{^{\prime}}(x)。

第二点：'相当于^{\prime}单身的撇号；然而 TeX 会进行设置，使得一行中更多的撇号变成^{\prime...\prime}（具有正确数量的\prime标记）和允许进一步的上标；因此微分方程中二阶导数的平方可以输入为

y''^2

不幸的是，当素数关注上标，c^{\dagger}''会引发“双上标”错误，如前所述，用 可解决c^{\dagger\prime\prime}。

Answer 2

相反，我添加了一个小答案，也使用带有包的用户@egreg 双\prime符号eqparbox。

%% Compile and read me!
\documentclass[a4paper,12pt]{article}
\usepackage{mathtools}
\usepackage{eqparbox}
\begin{document}
$\hat{c}^{\eqmakebox[aaa]{$\dagger\prime\prime$}}_{\omega l}$
\end{document}

正如@campa 的评论一样，我也添加了解决方案\scriptstyle \prime\prime。

%% Compile and read me!
\documentclass[a4paper,12pt]{article}
\usepackage{mathtools}
\usepackage{eqparbox}
\begin{document}
$\hat{c}^{\eqmakebox[aaa]{$\dagger\scriptstyle{\prime\prime}$}}_{\omega l}$
\end{document}

Answer 3

加载mathtools并使用

$\hat{c}_{\mathrlap{\omega l}}^\dagger {}'' $