推理规则中如何写左对齐的多行结论?

推理规则中如何写左对齐的多行结论?

这个问题与推理规则中如何写居中的多行结论?。但是,我不知道如何将多行结论对齐到左侧。我遗漏了什么?我正在使用该semantic包编写推理规则:

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

\begin{document}

\inference{expr}{ \begin{aligned} This is a very long \\ expression \end{aligned} }
\inference{expr}{ \begin{gathered} This is a very long \\ expression \end{gathered} }

\end{document}

在此代码中,第一个结论在右侧对齐。第二个结论在中间对齐。我怎样才能将其在左侧对齐?使用alignflalign不起作用并产生以下错误:

! Package amsmath Error: \begin{align} allowed only in paragraph mode.
! Package amsmath Error: \begin{flalign} allowed only in paragraph mode.

答案1

我最终通过使用array环境解决了它:

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

\begin{document}

\inference{expr}{ \begin{array}{l} This is a very long \\ expression \end{array} }

\end{document}

相关内容