Skalieren Sie den Proof Tree mit ebproof

Question

Ich verwende ebproof für Beweisbäume und möchte wissen, ob es eine Möglichkeit gibt, die Größe der Bäume zu skalieren.

Etwas wiedieser Beitrag, aber für das ebproof-Paket.

Wenn dies nicht möglich ist, wäre es möglicherweise hilfreich, die Schriftgröße zu ändern, um den Baum kompakter zu gestalten.

Answer 1

Ich bin nicht ganz sicher, welche Art von Skalierung Sie meinen, aber \scaleboxdas graphicxPaket skaliert Beweise in gewisser Weise.

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