Árbol de prueba de escala con ebproof

Question

Estoy usando ebproof para árboles de prueba y quiero saber si hay alguna forma de escalar el tamaño de los árboles.

Algo comoesta publicación, pero para el paquete ebproof.

Si eso no es posible, tal vez sería útil alguna forma de cambiar el tamaño de fuente para hacer el árbol más compacto.

Answer 1

No estoy completamente seguro de qué tipo de escala tiene en mente, pero \scaleboxel graphicxpaquete escala las pruebas de alguna manera.

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