在对齐环境中，在水平线后居中对齐？

Question

我正在尝试使用此提供的宏在对齐环境中添加一条水平线问题和包 amsmath。水平线与方程式看起来没问题，但线下方的内容是右对齐的。

\documentclass{sig-alternate-05-2015}
\usepackage{float}
\usepackage{amsmath}
\newcommand*{\tline}{%
  \ifmeasuring@
    % first measuring run
  \else
    % second run
    % \typeout{\meaning\maxcolumn@widths}% debug info
    \ifodd\column@
      \expandafter\rlap
    \else
      \expandafter\llap
    \fi
    {% 
      \vrule height-1ex depth \dimexpr1ex+.4pt\relax width
      \ifcase\numexpr\column@+1\expandafter\relax
      \maxcolumn@widths
      \fi
    }%
  \fi
}
\makeatother
\begin{document}
\begin{alignat*}{1}
 \tau_{P1}.P1 \overset {\overline{pts_{p_1}}}\longrightarrow P1'  \tau_{SC1}SC_1 \overset {{stp_{p_1}}.\overline{stp_{p_1}}}\longrightarrow SC1' 
\tline\tline \\
P1|SC1|P2 \longrightarrow P1
\end{alignat*}
\end{document}

最终 PDF 如下所示：我如何进行以下 2 项更改：1）水平线下方的符号与线居中对齐；2）在下图中的 SC1 前添加一个制表符空格

在注释后添加\underline：

Answer 1

看着你的代码，我不确定你想要实现什么......但从你的图像来看你实际上正在寻找分数：

上图的代码非常非常简单:-)：

\documentclass{article}
\usepackage{mathtools}

\begin{document}
    \begin{gather*}
\frac{\ \tau_{P1}\cdot P1 \xrightarrow{\overline{pts_{p_1}}} P1'\tau_{SC1}
      \qquad   SC_1 \xrightarrow{stp_{p_1}\cdot stp_{p_1}} SC1'
      \ }
     {P1|SC1|P2 \longrightarrow P1}
    \end{gather*}
\end{document}