公交车防护中的垂直对齐

Question

考虑以下代码：

\documentclass{article}
\usepackage{graphicx}

\usepackage{bussproofs}
\newenvironment{bprooftree}
  {\leavevmode\hbox\bgroup}
  {\DisplayProof\egroup}

\begin{document}

\[
  \begin{bprooftree}
  \AxiomC{$ $}
  \LeftLabel{R1:}
  \UnaryInfC{s}
  \end{bprooftree}
\qquad
  \begin{bprooftree}
  \AxiomC{$s_1,\cdots,s_n$}
  \LeftLabel{R2:}
  \UnaryInfC{s}
  \end{bprooftree}
\]

\end{document}

结果如下：

从图片中可以看出，R1 和 R2 未垂直对齐（至少不是我想要的那种方式）。我该如何实现正确对齐？

注意：我不记得为什么我添加了该行，\newenvironment但我认为这是由于与我使用的另一个包冲突：qtree。

Answer 1

每棵树都相对于其内容在数学轴上垂直居中。如果您希望其中两个具有相同的大小，则需要使用幻像。

我还添加了不同的风格，以便更好地控制树木之间的空间。

\documentclass{article}
\usepackage{graphicx}

\usepackage{bussproofs}
\newenvironment{bprooftree}
  {\leavevmode\hbox\bgroup}
  {\DisplayProof\egroup}

\begin{document}

\[
  \begin{bprooftree}
  \AxiomC{$\vphantom{s_1,\cdots}$}
  \LeftLabel{R1:}
  \UnaryInfC{s}
  \end{bprooftree}
\qquad
  \begin{bprooftree}
  \AxiomC{$s_1,\cdots,s_n$}
  \LeftLabel{R2:}
  \UnaryInfC{s}
  \end{bprooftree}
\]

\[
  \AxiomC{$\vphantom{s_1,\cdots}$}
  \LeftLabel{R1:}
  \UnaryInfC{s}
  \DisplayProof
\qquad
  \AxiomC{$s_1,\cdots,s_n$}
  \LeftLabel{R2:}
  \UnaryInfC{s}
  \DisplayProof
\]

\end{document}