语义包：结论中的多行

Question

我正在使用semantic包裹我想在推理规则的结论部分放置换行符。

例如，我想写类似这样的内容：

\inference{A}{B \\ C \\ D}

不幸的是，该包仅支持规则第一部分（前提）的换行。有什么想法吗？

Answer 1

array没有什么可以阻止你在“结论”部分使用：

\documentclass{article}
\usepackage{semantic}

\begin{document}

\inference{A}{\begin{array}{@{}c@{}} B \\ C \\ D \end{array}}

\end{document}