自动为符号前的上标提供正确的间距

Question 1

pdftex 无法访问字形的形状。但假设您有一组想要处理的有限小参数，您可以轻松设置一个更正列表（仅在默认设置不起作用的情况下才需要）：

\documentclass[12pt]{article}

\usepackage{amssymb}
\usepackage{mathtools}
\newcommand{\N}{\mathbb{N}}
\newcommand{\h}{{}^*}
\newcommand{\hhh}[1]{\prescript{*\csname prescriptcorrection\detokenize{#1}\endcsname}{}{#1}}
\newcommand\prescriptcorrectionA{\mkern-5mu\relax}
\newcommand\prescriptcorrectionB{\!}
%wrong value, only to show how to handle commands like \N:
\makeatletter\@namedef{prescriptcorrection\detokenize{\N}}{\mkern-15mu\relax}\makeatother

\begin{document}

$\begin{array}{cccc}
    \h A & \h B & \h T & \h \N \\
    {\h} A & {\h} B & {\h} T & {\h} \N \\
    \hhh{A} & \hhh{B} & \hhh{T} & \hhh{\N} \\
\end{array}$

\end{document}

Answer

pdftex 无法访问字形的形状。但假设您有一组想要处理的有限小参数，您可以轻松设置一个更正列表（仅在默认设置不起作用的情况下才需要）：

\documentclass[12pt]{article}

\usepackage{amssymb}
\usepackage{mathtools}
\newcommand{\N}{\mathbb{N}}
\newcommand{\h}{{}^*}
\newcommand{\hhh}[1]{\prescript{*\csname prescriptcorrection\detokenize{#1}\endcsname}{}{#1}}
\newcommand\prescriptcorrectionA{\mkern-5mu\relax}
\newcommand\prescriptcorrectionB{\!}
%wrong value, only to show how to handle commands like \N:
\makeatletter\@namedef{prescriptcorrection\detokenize{\N}}{\mkern-15mu\relax}\makeatother

\begin{document}

$\begin{array}{cccc}
    \h A & \h B & \h T & \h \N \\
    {\h} A & {\h} B & {\h} T & {\h} \N \\
    \hhh{A} & \hhh{B} & \hhh{T} & \hhh{\N} \\
\end{array}$

\end{document}

Question 2

多年来，我也一直在寻找这个问题的解决方案。问题是 TeX（或任何其他数学渲染系统，如带有 OpenType Math 字体的 MathML）没有用于定位左索引的指标。似乎没有人真正关心过这个问题。所以你唯一能做的就是取右下标的负缩进，并将相同的值用于左上标的缩进，并希望得到最好的结果。

基于egreg 的回答，我现在（昨天）添加了包左索引到 CTAN。它提供命令

\leftindex^{<left superscript>}_{<left subscript>} {<symbol>}

它的作用与我上面描述的完全一致。这对某些符号来说效果很好，但值得注意的是，对来说效果不佳A。因此，\leftindex需要几个可选参数。这里与我们相关的只有第一个：

\leftindex[<slanting phantom>]^{<left superscript>}_{<left subscript>}
    {<symbol>}

如果使用此参数，包将改用度量来<slanting phantom>定位左上标：

\documentclass[12pt]{article}

\usepackage{amssymb,leftindex}

\newcommand{\N}{\mathbb{N}}
\newcommand{\h}{{}^*}
\newcommand{\hhh}[1]{\leftindex^{*}{#1}}
\newcommand{\hhhhh}[1]{\leftindex[I]^{*}{#1}}

\begin{document}

$\begin{array}{cccc}
    \h A & \h B & \h T & \h \N \\
    {\h} A & {\h} B & {\h} T & {\h} \N \\
    \hhh{A} & \hhh{B} & \hhh{T} & \hhh{\N} \\
    \hhhhh{A} & \hhhhh{B} & \hhhhh{T} & \hhhhh{\N} \\
    \leftindex[T]^{*} {A} & \leftindex[I]^{*} {B}
        & \leftindex[I]^{*} {T} & \leftindex^{*} {\N} \\
    \h\! A & \h\! B & \h\! T & \h\! \N \\
\end{array}$

\end{document}

它并不完美，但部分原因是 Computer Modern 实际上具有相当糟糕的度量（在P或后面加一个下标\Gamma，你就会明白我的意思）。尝试另一种字体，例如kpfonts，会产生更好的结果：

Answer