我有一个函数f，我想将其限制在其最初定义域的某个子域中。通常，在数学中，这用函数符号右下角的垂直线和限制集来表示。例如，我通常写
f_{\mid A}
意味着f限制在集合内A。
不幸的是，我有一个函数序列f_i，它已经有下标了。如果我写
f_{i_{{\mid A}}}
我确实没有收到 LaTeX 错误，但结果在语义上是错误的\bar A。不是的下标i恰好是 的下标f，但是\mid A是 的下标f_i。特别是 的字体大小{\mid A}不应该小于 的大小i，而应该具有相同的大小。
然而，如果写入
{f_i}_{\mid A}
（顺便说一下，这在语义上是正确的）我收到“双下标错误”。
或者我可以写
f_{i \; \mid A}
并获取正确的字体大小\mid A但其位置太高。\mid A应该在以下i。
平均能量损失
\documentclass{article}
\usepackage[TS1,T1]{fontenc}
\usepackage[utf8]{inputenc}
\usepackage{lmodern}
\begin{document}
\begin{equation}
{\hat{f}_i}_{\mid A}
\end{equation}
\end{document}
正如我已经发现的那样，问题只发生在和上面的重音f。但我需要那里的重音。
答案1
这是一个已知问题，请参阅为什么我会收到双重下标错误？：
{\hat{f}_i}_{|A}
会出现“双下标”错误。解决方法是添加{}基数。
另一方面，我看不出这和
\hat{f}_{i\,|A}
我更喜欢这个。
这是代码。
\documentclass{article}
\begin{document}
\begin{equation}
\hat{f}_{i\,|A}
\qquad
{{}\hat{f}_i}_{|A}
\end{equation}
\end{document}
\mid A请注意，虽然导致相同的结果，但从语义上讲这是错误的。