1 files changed, 7 insertions, 0 deletions
diff --git a/docs/rts/closure.tex b/docs/rts/closure.tex
new file mode 100644
index 0000000000..572a8516cf
--- /dev/null
+++ b/docs/rts/closure.tex
@@ -0,0 +1,7 @@
+\makebox[3.597in][l]{
+  \vbox to 2.375in{
+    \vfill
+    \special{psfile=closure.ps}
+  }
+  \vspace{-\baselineskip}
+}