定义用作下标时缩放的符号

Question

我通过以下方式定义了一个命令

\newcommand{\antishriek}{\mbox{\footnotesize{\rotatebox[origin=c]{180}{$!$}}}},

它会显示一个倒置的小感叹号。我总是用它作为其他符号的指数，例如

给出的是$\mathscr{P}^{\antishriek}$。我的问题是当我尝试将整个东西作为下标时，我的符号不会缩放。例如，$\Delta_{\mathscr{P}^{\antishriek}}$写出

符号大小完全相同。当我将符号作为下标的上标时，有没有办法使符号缩放，而不必定义第二个符号以提供相同的输出，但输出更小？

Answer 1

无需创建自己的符号，LaTeX 有一个预定义的\textexclamdown符号可供使用。因此，从技术上讲，您可以执行以下操作：

\usepackage{amsmath}
\newcommand{\antishriek}{\text{\raisebox{\depth}{\textexclamdown}}}

amsmath's\text将确保使用正确的大小，而 则将\raisebox倒置的感叹号放在基线（如果您希望这样；类似于\rotatebox[origin=c]{180}的操作!）。

---

一般来说，如果你希望命令的呈现方式根据其使用位置而有所不同在数学模式中，那么您可以考虑使用\mathchoice（或包装器\mathpalette）。\mathchoice格式如下：

\mathchoice{<material for display style>}
           {<material for text style>}
           {<material for script style>}
           {<material for scriptscript style>}

因此，根据您的情况，您可以提供满足您需求的格式（大小和旋转或其他）。以下是其含义的示例：考虑假设\somesymbol：

\newcommand{\somesymbol}{\mathchoice
  {a}% \displaystyle
  {b}% \textstyle
  {c}% \scriptstyle
  {d}% \scriptscriptstyle
}

上面的“符号”定义显示（左边是默认的\displaystyle，右边是强制的\textstyle，以便比较）：

\[
  \somesymbol^{\somesymbol^{\somesymbol^{\somesymbol}}}
  \quad
  \somesymbol_{\somesymbol_{\somesymbol_{\somesymbol}}}
  \qquad\textstyle
  \somesymbol^{\somesymbol^{\somesymbol^{\somesymbol}}}
  \quad
  \somesymbol_{\somesymbol_{\somesymbol_{\somesymbol}}}
\]

针对您的符号，您可以使用（例如）：

\newcommand{\antishriek}{\mathchoice
  {\rotatebox[origin=c]{180}{!}}% \displaystyle
  {\rotatebox[origin=c]{180}{!}}% \textstyle
  {\rotatebox[origin=c]{180}{\scalebox{.7}{!}}}% \scriptstyle
  {\rotatebox[origin=c]{180}{\scalebox{.5}{!}}}% \scriptscriptstyle
}

显示为

\[
  \somesymbol^{\somesymbol^{\somesymbol^{\somesymbol}}}
  \antishriek^{\antishriek^{\antishriek^{\antishriek}}}
  \quad
  \somesymbol_{\somesymbol_{\somesymbol_{\somesymbol}}}
  \antishriek_{\antishriek_{\antishriek_{\antishriek}}}
  \qquad\textstyle
  \somesymbol^{\somesymbol^{\somesymbol^{\somesymbol}}}
  \antishriek^{\antishriek^{\antishriek^{\antishriek}}}
  \quad
  \somesymbol_{\somesymbol_{\somesymbol_{\somesymbol}}}
  \antishriek_{\antishriek_{\antishriek_{\antishriek}}}
\]

这里将它们放在一起，以显示相对大小：

\[
  {\somesymbol\antishriek}^{{\somesymbol\antishriek}^{{\somesymbol\antishriek}^{{\somesymbol\antishriek}}}}
  \quad
  {\somesymbol\antishriek}_{{\somesymbol\antishriek}_{{\somesymbol\antishriek}_{{\somesymbol\antishriek}}}}
  \qquad\textstyle
  {\somesymbol\antishriek}^{{\somesymbol\antishriek}^{{\somesymbol\antishriek}^{{\somesymbol\antishriek}}}}
  \quad
  {\somesymbol\antishriek}_{{\somesymbol\antishriek}_{{\somesymbol\antishriek}_{{\somesymbol\antishriek}}}}
\]

相关的：

• 什么是\mathchoice？

• 的奥秘\mathpalette

Answer 2

这是一个scalerel解决方案，其中按照适当的数学风格¡缩放到垂直足迹。!

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath, mathrsfs,scalerel}%
\newcommand{\antishriek}{\scalerel*{$¡$}{!}}

\begin{document}

\[\mathscr{P}^{\antishriek}\mathscr{P}^{!}\quad 
  \Delta_{\mathscr{P}^{\antishriek}}\Delta_{\mathscr{P}^{!}}\quad  
  \antishriek !\]%
\end{document} 

Answer 3

为什么要把事情弄得比本来更复杂呢？

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage{amsmath, mathrsfs}%
\newcommand{\antishriek}{\text{¡}}

\begin{document}

\[\mathscr{P}^{\antishriek}\quad \Delta_{\mathscr{P}^{\antishriek}}\quad  \antishriek \]%

\end{document}