推理规则中如何写居中的多行结论？

Question

我正在使用语义包编写推理规则，但遇到了以下问题：

\usepackage[inference]{semantic}
\usepackage{amsmath}


\begin{equation}
  \inference{ expr }{ \begin{aligned} long_expr1 \\ long_expr2 \end{aligned} }
\end{equation}

在此代码中，我希望long_expr1和long_expr2居中。但是对齐环境将它们对齐到右侧。我该如何解决这个问题？

Answer 1

回答我自己的问题，问题已经解决聚集环境。

\begin{equation}
  \inference{ expr }{ \begin{gathered} long_expr1 \\ long_expr2 \end{gathered} }
\end{equation}