如何对齐序列的推理线

Question

我如何调整推理线以使它们对齐？

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{tabular}{ c c }  
    \AxiomC{}
    \LeftLabel{Axiom: \ \ }
    \UnaryInfC{A \vdash A} \DisplayProof & \AxiomC{$\Gamma\vdash\Delta,A$}
    \AxiomC{$A, \Sigma\vdash\Pi$}
    \LeftLabel{Cut:}
    \BinaryInfC{$\Gamma,\Sigma\vdash\Delta,\Pi$}\DisplayProof \\[15pt]  
\end{tabular}   


\end{document}

Answer 1

我只是\strut在任何看起来可能排版的东西上添加了一个。

\documentclass{article}
\usepackage{bussproofs}

\begin{document}

\begin{tabular}{ c c }  
    \AxiomC{\strut}
    \LeftLabel{Axiom: \ \ \strut}
    \UnaryInfC{$A \vdash A$\strut} \DisplayProof & \AxiomC{$\Gamma\vdash\Delta,A\strut$}
    \AxiomC{$A, \Sigma\vdash\Pi\strut$}
    \LeftLabel{Cut: \ \ \strut}
    \BinaryInfC{$\Gamma,\Sigma\vdash\Delta,\Pi\strut$}\DisplayProof \\[15pt]  
\end{tabular}   


\end{document}