Add boxedgraphic macro to display a metapost graphic with a border.

diff --git a/Utils/Lambda.tex b/Utils/Lambda.tex
index b300b3524a10921c845c35d27bc97283a04ffbb8..2172bbc38d0c1c42a1b01c255fe5b2a4c0d82146 100644 (file)
--- a/Utils/Lambda.tex
+++ b/Utils/Lambda.tex
@@ -70,3 +70,11 @@ draw b;
   % Reset the typing options
   \setuptyping[option=none,style=\tttf]
 }
+
+% Display a useMPgraphic in a pretty box
+\define[1]\boxedgraphic{
+  \startboxed
+  \useMPgraphic{#1}
+  \stopboxed
+}
+