这是一个奇怪的现象。
考虑以下代码：
\documentclass{article}
\begin{document}
$$Z^* \frac{Z^*}{Z^*}$$
\end{document}
它产生了下面的图片：
与是。分母看起来特别糟糕。知道这背后的原因是什么吗？
答案1
三个上标星号的位置没有什么奇怪的。它们被放置在不同的高度，因为它们出现在三种不同的数学样式中。（附言：TeX 有 8 种可能的数学样式。有关这 8 种样式的更多信息，请参阅 TeXbook 中的第 140f 页。）
第一个术语是，TeX 采用（未受约束的）显示样式，
D在 TeXbook 中标记；在分子项中，TeX 采用（不拥挤的）文本样式，
T在 TeXbook 中有标记；并且在分母项中，TeX 是拥挤的文本样式，
T'在 TeXbook 中有标记。
我猜你最喜欢第一个样子。如果是这样，你可以写
\[ Z^* \frac{\displaystyle Z^*}{\displaystyle Z^*} \]
强制所有三个Z^*术语具有相同的外观。
或者，您可以设置一个名为的宏，\ddfrac如下所示：
\newcommand\ddfrac[2]{\frac{\displaystyle #1}{\displaystyle #2}}
然后写
\[ Z^* \ddfrac{Z^*}{Z^*} \]
在正文中。
一个小的 MWE：左边的项目显示了你原始代码的结果，右边的项目显示了使用宏时的输出\ddfrac：
\documentclass{article}
\newcommand\ddfrac[2]{\frac{\displaystyle #1}{\displaystyle #2}}
\begin{document}
$\displaystyle
Z^*\frac{Z^*}{Z^*} \quad Z^*\ddfrac{Z^*}{Z^*}$
\end{document}
附录，灵感来自 David Carlisle 的评论：pdfLaTeX 提供了四个与数学样式相关的指令：\displaystyle、、和。 \textstyle（上面的代码只使用了其中一个指令—— 。）如果你碰巧使用 LuaLaTeX，你可以使用四个额外的与样式相关的指令：、、和。例如，如果你想在分子项上施加“拥挤的文本样式外观”\scriptstyle\scriptscriptstyle\displaystyle\crampeddisplaystyle\crampedtextstyle\crampedscriptstyle\crampedscriptscriptstyle\frac，你可以定义一个新的宏如下——“ct”代表C斜坡吨扩展样式”：
\newcommand\ctfrac[2]{\frac{\crampedtextstyle #1}{\crampedtextstyle #2}}
第二附录，由@daleif 的评论提示：该mathtools包提供了一个名为的指令\cramped，它以适用的宽松数学风格的狭窄版本排版其参数。mathtools然后，使用该包，可以\ctfrac按如下方式编写前面的宏：
\newcommand\ctfrac[2]{\frac{\cramped[\textstyle]{#1}}{\cramped[\textstyle]{#2}}}
答案2
如果在显示样式生效时出现分数，则分子将使用文本样式，分母将使用“拥挤”文本样式；同样，分子和分母将比起始样式低一个级别，分母将采用“拥挤”样式。
数学样式的狭窄版本使用比非狭窄版本更少的高上标，以便它们不会与分数线或根号中的连字符（也使用狭窄版本）发生冲突。
您可以定义一个\ufrac命令（未受限制的分数）：
\documentclass{article}
\usepackage{amsmath}
\makeatletter
\newcommand{\ufrac}[2]{% uncramped fraction
\frac{#1}{\mathpalette\ufrac@den{#2}}%
}
\newcommand{\ufrac@den}[2]{#1#2}
\makeatother
\begin{document}
\[
Z^* \frac{Z^*}{Z^*}
\quad
Z^* \ufrac{Z^*}{Z^*}
\]
\[
\textstyle
Z^* \frac{Z^*}{Z^*}
\quad
Z^* \ufrac{Z^*}{Z^*}
\]
\end{document}
我会避免强制显示样式。如果你愿意，这里有一种方法
\documentclass{article}
\usepackage{amsmath}
\makeatletter
\newcommand{\ufrac}[2]{% uncramped fraction
\frac{\mathpalette\ufrac@style{#1}}
{\mathpalette\ufrac@style{#2}}%
}
\newcommand{\ufrac@style}[2]{%
\ifx\textstyle#1\displaystyle\else#1\fi#2%
}
\makeatother
\begin{document}
\[
Z^* \frac{Z^*}{Z^*}
\quad
Z^* \ufrac{Z^*}{Z^*}
\]
\[
\textstyle
Z^* \frac{Z^*}{Z^*}
\quad
Z^* \ufrac{Z^*}{Z^*}
\]
\end{document}
答案3
大卫卡莱尔的评论给出了原因。这里有一个“修复”它的方法：
\documentclass{article}
\begin{document}
\[Z^* \frac{Z^*}{Z_{\mathstrut}^*}\]
\end{document}
