Ebproof를 사용한 스케일 증명 트리

Question

나는 증거 나무에 ebproof를 사용하고 있으며 나무 크기를 조정할 수 있는 방법이 있는지 알고 싶습니다.

다음과 같은 것이 게시물, 그러나 ebproof 패키지의 경우입니다.

이것이 가능하지 않다면 글꼴 크기를 변경하는 방법이 트리를 더 작게 만드는 데 유용할 수도 있습니다.

Answer 1

어떤 종류의 스케일링을 염두에 두고 있는지 완전히 확신할 수는 없지만 패키지 \scalebox에서 graphicx어떤 방식으로든 스케일 교정을 수행합니다.

\documentclass{article}
\usepackage{graphicx}
\usepackage{ebproof}
\usepackage{amssymb}
\begin{document}
\newcommand\someproof
  {\begin{prooftree}
   \Hypo{ \Gamma &\vdash A \to B }
   \Infer[no rule]1{ \Gamma &\vdash {!A} \multimap B }
   \Hypo{ \Delta &\vdash A }
   \Infer[rule thickness=2pt]1{ \Delta &\vdash {!A} }
   \Infer0{ B \vdash B }
   \Infer[dashed]2{ \Delta, {!A}\multimap B \vdash B }
   \Infer2{ \Gamma, \Delta &\vdash B }
   \Infer[double]1{ \Gamma \cup \Delta &\vdash B }
   \end{prooftree}%
  }

\scalebox{0.5}{\someproof}

\scalebox{0.4}{\someproof}

\scalebox{0.3}{\someproof}

\scalebox{0.2}{\someproof}
\end{document}