如何在推理規則中寫出左對齊多行結論?

如何在推理規則中寫出左對齊多行結論?

這個問題非常類似推理規則中的居中多行結論如何寫?。但是,我不知道如何在左側對齊多行結論。我缺什麼?我正在使用該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}

在此程式碼中,第一個結論在右側對齊。第二個在中間對齊。我怎樣才能將它對齊到左側?使用alignorflalign不起作用並產生以下錯誤:

! 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}

相關內容