\vfantasma e sobrescritos

Question

A posição dos sobrescritos é exatamente a mesma para estas duas instruções:

\vphantom{\int}^Se{}^S

Como posso aumentar o sobrescrito?

Editar

O \inté apenas um exemplo. Aqui está outro: \vphantom{)}^Se )^S.

Answer 1

A construção \vphantomnão é um operador matemático, portanto as regras para um átomo matemático comum se aplicam ao sobrescrito. \mathopajuda:

\documentclass{article}

\begin{document}
\[
  \int^S = \mathop{\vphantom{\int}}\nolimits^S
\]
\[
  \int\limits^S = \mathop{\vphantom{\int}}^S
\]
\end{document}

Com package amsmathum operador matemático "vazio" pode ser declarado com \DeclareMathOperator:

\documentclass{article}

\usepackage{amsmath}
\DeclareMathOperator*{\vint}{\vphantom{\int}}

\begin{document}
\[
  \int^S = \vint\nolimits^S
\]
\[
  \int\limits^S = \vint^S
\]
\end{document}

No caso de um delimitador de fechamento maior, \mathclosepode ajudar, por exemplo:

\documentclass{article}

\begin{document}
\[
  \Biggr)^S = \mathclose{\vphantom{\Biggr)}}^S
\]
\end{document}

Não sei, o motivo da pergunta. Se apenas um sobrescrito superior solitário for necessário, então um invisível \ruleou \raiseboxajudará:

\documentclass{article}

\begin{document}
\[
  {}^S < \rule{0pt}{2.5ex}^S < \raisebox{3ex}{$\scriptstyle S$}
\]
\end{document}

Answer 2

A razão é: a macro \vphantomse expande para o \mathchoiceprimitivo. Esta primitiva coloca o "item de escolha" na lista matemática. Quando o ^seguinte, então o núcleo do átomo não é criado imediatamente antes e você pode ler o TeXbook, página 291:

<superscript>: Se a lista atual não terminar com um átomo, um novo átomo Ord com todos os campos vazios será anexado.

Experimente isto:

$ \int^S, {\int}^S  % <- both creates the same result, Ord or Op is irrelevant
  \mathchoice{\int}{\int}{\int}{\int}^S % <- this emulates \vphnatom{\int}^S
  % and the empty atom is inserted (see TeXbook) like: 
  \mathchoice{\int}{\int}{\int}{\int}{}^S
  % so the result is the same as:
  {}^S
$

Você pode resolver seu problema:

$ {\vphantom{\int}}^S $ 

porque o átomo Ord é criado com "item de escolha" como núcleo.

Nota: O átomo comum não é problema, o problema é \mathchoice.