From 78e11871be7fa7677a0e3822b6e08b3beca1c4b7 Mon Sep 17 00:00:00 2001
From: Adam Megacz <adam@megacz.com>
Date: Fri, 15 Apr 2011 21:39:43 -0700
Subject: [PATCH] add \Box

---
 src/Doc.scala |    2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/Doc.scala b/src/Doc.scala
index 7912eb3..3eca3a5 100644
--- a/src/Doc.scala
+++ b/src/Doc.scala
@@ -291,6 +291,8 @@ abstract class Text extends ToHtml
         case "nu"      =>     "&#x03Bd;"
         case "pi"      =>     "&#x03c0;"
         case "rho"     =>     "&#x03c1;"
+//25a1
+        case "Box"     =>     "&#x20de;"
         // TO DO: integrate stixfonts stuff
         case "cent"    =>     "&#189;"
         case "euro"    =>     "&#8364;"
-- 
1.7.10.4