add \Box

diff --git a/src/Doc.scala b/src/Doc.scala
index 7912eb3..3eca3a5 100644 (file)
--- a/src/Doc.scala
+++ b/src/Doc.scala
@@ -291,6 +291,8 @@ abstract class Text extends ToHtml
         case "nu"      =>     "ν"
         case "pi"      =>     "π"
         case "rho"     =>     "ρ"
         case "nu"      =>     "ν"
         case "pi"      =>     "π"
         case "rho"     =>     "ρ"

+//25a1
+        case "Box"     =>     "⃞"

         // TO DO: integrate stixfonts stuff
         case "cent"    =>     "½"
         case "euro"    =>     "€"
         // TO DO: integrate stixfonts stuff
         case "cent"    =>     "½"
         case "euro"    =>     "€"