☰

使用 proof 包进行多行证明

tag-icon • tag-icon spacing line-breaking
使用 proof 包进行多行证明

我一直在使用 proof 包中的 infer。我想知道是否有办法在证明中添加换行符？例如，我想设置：

  A
B   C 
-----
  D

但我找不到办法。我试过使用 \linebreak、\ 和多行环境，但都不起作用。

答案1

环境似乎存在问题matrix，但数组环境似乎可以满足您的要求。知道这种安排意味着什么会很好。无论如何：

\documentclass{article}
\usepackage{proof}
\begin{document}
\infer{D}{\begin{array}{@{}c@{}c@{}c@{}} &A&\\B&&C\end{array}}
\end{document}

生产

在此处输入图片描述

相关内容