上标中的箭头

Question

我有类似的东西：

\int\limits _{\left[a,c\right]}f

我想在 [a,b] 上添加箭头来强调方向性，但是当我尝试使用时：

\int\limits _{\overrightarrow{\left[a,c\right]}}f

似乎箭头会阻止上方符号变小。我尝试了很多选项，但都不好看……非常感谢您的帮助。

拉德克

Answer 1

\overrightsmallarrow这是一个将箭头“降级”为较小样式的宏：

\documentclass{article}
\usepackage{amsmath}

\makeatletter
\newcommand{\overrightsmallarrow}{\mathpalette{\overarrowsmall@\rightarrowfill@}}
\newcommand{\overarrowsmall@}[3]{%
  \vbox{%
    \ialign{%
      ##\crcr
      #1{\smaller@style{#2}}\crcr
      \noalign{\nointerlineskip}%
      $\m@th\hfil#2#3\hfil$\crcr
    }%
  }%
}
\def\smaller@style#1{%
  \ifx#1\displaystyle\scriptstyle\else
    \ifx#1\textstyle\scriptstyle\else
      \scriptscriptstyle
    \fi
  \fi
}
\makeatother

\begin{document}
\[
\int\limits_{\overrightarrow{[a,c]}}f
\int\limits_{\overrightsmallarrow{[a,c]}}f
\int\limits_{\overrightsmallarrow{\![a,c]\!}}f
\]
\end{document}

我添加了一个可能的改进，\!以避免符号冲突。

请注意，这里\left不做\right任何操作，不建议对每对分隔符都使用它们。只有在真正需要时才添加它们。

Answer 2

妥善\scripstyle解决问题：

\documentclass{article}

\begin{document}
You have 
\[
\int\limits _{\overrightarrow{\left[a,c\right]}}f
\]
You want to
\[
\int\limits _{\overrightarrow{\scriptstyle\left[a,c\right]}}f
\]

\end{document}