分析表中特定条件的表示

分析表中特定条件的表示

我正在尝试在文档中表示一些特殊条件(见附图)。我尝试使用 bussproofs 包和 proftree[Tableau 选项] 来做到这一点,但没有成功。在文档中找不到参考资料。有人能帮我怎么做吗?谢谢在此处输入图片描述

相关内容