Definir un símbolo que escala cuando se usa como subíndice

Question

Definí un comando por

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

lo que da un pequeño signo de exclamación al revés. Siempre lo uso como exponente de otros símbolos, como

que está dado por $\mathscr{P}^{\antishriek}$. Mi problema es cuando intento poner todo como un subíndice, en cuyo caso mi símbolo no se escala. Por ejemplo, escribir $\Delta_{\mathscr{P}^{\antishriek}}$da

con el símbolo exactamente del mismo tamaño. ¿Hay alguna manera de hacer que mi símbolo se escale cuando lo coloco como superíndice de un subíndice sin tener que definir un segundo símbolo que dé el mismo resultado, pero más pequeño?

Answer 1

En lugar de crear su propio símbolo, LaTeX tiene uno predefinido \textexclamdownque uno puede usar. Entonces, técnicamente, puedes hacer:

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

amsmath's \textasegurará que se use el tamaño correcto, mientras que \raiseboxcoloca la exclamación invertida en la línea de base (si así lo desea; similar a lo que \rotatebox[origin=c]{180}haría con !).

---

En general, si desea que un comando varíe su presentación dependiendo del lugar donde se useen modo matematicas, entonces puedes considerar usar \mathchoice(o el contenedor \mathpalette). \mathchoicetiene el siguiente formato:

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

Entonces, en su caso, podría proporcionar el formato (tamaño y rotación o lo que sea) que se adapte a sus necesidades. He aquí un ejemplo de lo que eso significa: Considere lo hipotético \somesymbol:

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

Se muestra la definición de "símbolo" anterior (el izquierdo está en modo predeterminado \displaystyle, mientras que el derecho está en modo forzado \textstyle, a modo de comparación):

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

Específicamente para su símbolo, puede usar (como ejemplo):

\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
}

que se muestra como

\[
  \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}}}
\]

Aquí están juntos, para mostrar el tamaño relativo:

\[
  {\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}}}}
\]

Importante:

• Qué es \mathchoice?

• Los misterios de\mathpalette

Answer 2

Aquí hay una scalerelsolución que ¡se escala a la huella vertical del !en el estilo matemático apropiado.

\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

¿Por qué hacer las cosas más completas de lo que son?

\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}