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}