단일 LaTeX 문서 내에서 동일한 이름을 가진 환경을 어떻게 사용합니까?

Question

나는 몇 가지 증명 트리 연습을 조판하려고 합니다. 하지만 패키지 prooftree의 환경 bussproofs뿐만 아니라 패키지 prooftree의 환경 도 사용해야 합니다 prooftrees. 단일 문서 내에서 둘 다 사용할 수 있도록 이들 중 하나의 이름을 바꿀 수 있는 방법이 있습니까?

Answer 1

설명서 에 설명된 대로 옵션 을 사용하여 패키지를 로드하는 대신 prooftrees환경을 사용할 수 있습니다 . 이렇게 하면 및 를 함께 사용할 수 있습니다 .tableauprooftreeprooftreestableauxbussproofsprooftrees

\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}