Definindo um símbolo que é dimensionado quando usado como subscrito

Question

Eu defini um comando por

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

que dá um pequeno ponto de exclamação invertido. Eu sempre o uso como expoente para outros símbolos, como

que é dado por $\mathscr{P}^{\antishriek}$. Meu problema é quando tento colocar tudo como um subscrito e, nesse caso, meu símbolo não aumenta. Por exemplo, escrever $\Delta_{\mathscr{P}^{\antishriek}}$dá

com o símbolo exatamente do mesmo tamanho. Existe uma maneira de dimensionar meu símbolo quando o coloco como sobrescrito de um subscrito sem ter que definir um segundo símbolo dando a mesma saída, mas menor?

Answer 1

Em vez de criar seu próprio símbolo, o LaTeX possui um símbolo predefinido \textexclamdownque pode ser usado. Então, tecnicamente, você pode fazer:

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

amsmath's \textgarantirá que o tamanho correto seja usado, enquanto \raiseboxcoloca a exclamação invertida na linha de base (se você quiser dessa forma; semelhante ao que \rotatebox[origin=c]{180}faria com !).

---

Em geral, se desejar que um comando varie a sua apresentação dependendo do local onde é utilizadono modo matemático, então você pode considerar usar \mathchoice(ou o wrapper \mathpalette). \mathchoicetem o seguinte formato:

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

Então, no seu caso, você poderia fornecer a formatação (dimensionamento e rotação ou qualquer outra coisa) para atender às suas necessidades. Aqui está um exemplo do que isso significa: Considere o hipotético \somesymbol:

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

A definição de "símbolo" acima é exibida (left está em default \displaystyle, enquanto a direita está em forçado \textstyle, para comparação):

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

Específico para o seu símbolo, você pode usar (como exemplo):

\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 é exibido 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}}}
\]

Aqui estão eles juntos, para mostrar o dimensionamento 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}}}}
\]

Relevante:

• O que é \mathchoice?

• Os mistérios de\mathpalette

Answer 2

Aqui está uma scalerelsolução que ¡é dimensionada para a pegada vertical !no estilo matemático apropriado.

\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 que tornar as coisas mais complexas do que realmente são?

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