![如何在单个 LaTeX 文档中使用具有相同名称的环境?](https://linux22.com/image/391833/%E5%A6%82%E4%BD%95%E5%9C%A8%E5%8D%95%E4%B8%AA%20LaTeX%20%E6%96%87%E6%A1%A3%E4%B8%AD%E4%BD%BF%E7%94%A8%E5%85%B7%E6%9C%89%E7%9B%B8%E5%90%8C%E5%90%8D%E7%A7%B0%E7%9A%84%E7%8E%AF%E5%A2%83%EF%BC%9F.png)
我正在尝试排版一些证明树练习。但我需要使用包prooftree
中的环境bussproofs
以及包prooftree
中的环境prooftrees
。有没有办法可以重命名其中一个,以便它们都可以在单个文档中使用?
答案1
如文档中所述,如果您使用选项加载包,则prooftrees
可以使用环境tableau
而不是 。这样您就可以同时使用和。prooftree
prooftrees
tableaux
bussproofs
prooftrees
\usepackage[tableaux]{prooftrees}
\usepackage{bussproofs}
这是一个完整的例子:
\documentclass{article}
\usepackage[tableaux]{prooftrees}
\usepackage{bussproofs}
\begin{document}
\begin{prooftree}
\AxiomC{$A \lor B$}
\AxiomC{[$A$]}
\noLine
\UnaryInfC{$C$}
\AxiomC{[$B$]}
\noLine
\UnaryInfC{$C$}
\TrinaryInfC{$C$}
\end{prooftree}
\begin{tableau}
{
to prove=\neg(a \vee b) \vee ((a \vee b) \vee b)
}
[{(a \vee b) \vee ((a \vee b) \vee b)}, just = 1
[{\neg (a \vee b)}, just = 2
[{a,b},just=3,close={4}
]
]
[{(a \vee b) \vee b}
[{a \vee b}
]
[{b}
]
]
]
\end{tableau}
\end{document}