Esta questão é muito semelhante aComo escrever uma conclusão multilinha centrada na regra de inferência?. No entanto, não consigo descobrir como alinhar uma conclusão multilinha à esquerda. o que estou perdendo? Estou usando o semantic
pacote para escrever regras de inferência:
\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}
Neste código, a primeira conclusão está alinhada à direita. O segundo está alinhado no meio. Como posso alinhá-lo à esquerda? Usar align
or flalign
não funciona e gera o seguinte erro:
! Package amsmath Error: \begin{align} allowed only in paragraph mode.
! Package amsmath Error: \begin{flalign} allowed only in paragraph mode.
Responder1
Finalmente resolvi usando o array
ambiente:
\documentclass{article}
\usepackage[inference]{semantic}
\usepackage{amsmath}
\begin{document}
\inference{expr}{ \begin{array}{l} This is a very long \\ expression \end{array} }
\end{document}