Как написать многострочное заключение, выровненное по левому краю, в правиле вывода?

Как написать многострочное заключение, выровненное по левому краю, в правиле вывода?

Этот вопрос очень похож наКак написать центрированное многострочное заключение в правиле вывода?. Однако я не могу понять, как выровнять многострочный вывод по левому краю. Что я упускаю? Я использую пакет 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.

решение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}

Связанный контент