1 files changed, 17 insertions, 0 deletions
diff --git a/tree.tex b/tree.tex
new file mode 100644
index 0000000..7a008fc
--- /dev/null
+++ b/tree.tex
@@ -0,0 +1,17 @@
+\documentclass[border=1cm]{standalone}
+
+\usepackage[shorthands=off,dutch]{babel}
+\usepackage{caption}
+
+\usepackage{prooftree}
+\usepackage{smurf}
+
+\begin{document}
+
+$$
+\begin{prooftree}
+	\input{\filename}
+\end{prooftree}
+$$
+
+\end{document}