추론 규칙에서 왼쪽 정렬된 여러 줄 결론을 작성하는 방법은 무엇입니까?

Question

이 질문은 다음과 매우 유사합니다.추론 규칙에서 중앙에 여러 줄로 된 결론을 작성하는 방법은 무엇입니까?. 그러나 왼쪽에 여러 줄로 된 결론을 정렬하는 방법을 알 수 없습니다. 내가 무엇을 놓치고 있나요? 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}

이 코드에서는 첫 번째 결론이 오른쪽에 정렬되어 있습니다. 두 번째는 중앙에 정렬됩니다. 어떻게 왼쪽에 정렬할 수 있나요? alignor 를 사용하면 flalign작동하지 않으며 다음 오류가 발생합니다.

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

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