From 2c02ad4ea19d7869327ed708a5e8ff93fd6bfc29 Mon Sep 17 00:00:00 2001
From: oldk1331 <oldk1331@gmail.com>
Date: Thu, 7 Sep 2017 08:46:15 +0800
Subject: [PATCH] fix the display of 'box'

---
 src/algebra/op.spad    | 2 +-
 src/input/i_bugs.input | 4 ++++
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/src/algebra/op.spad b/src/algebra/op.spad
index 79df4ddce..ccd2ea111 100644
--- a/src/algebra/op.spad
+++ b/src/algebra/op.spad
@@ -563,7 +563,7 @@ CommonOperators() : Exports == Implementation where
     startUp b ==
       brandNew? := b
       display(oppren, paren)
-      display(opbox, commaSeparate)
+      display(opbox, (z1 : List O) : O +-> first z1)
       display(oppi, dpi)
       display(opexp, dexp)
       display(opGamma2, dgamma)
diff --git a/src/input/i_bugs.input b/src/input/i_bugs.input
index a014eda52..aa6a0d55a 100644
--- a/src/input/i_bugs.input
+++ b/src/input/i_bugs.input
@@ -288,3 +288,7 @@ ob2 := [overlabel(1::OUTFORM, index(i)$CHAR::OutputForm) for i in 40..90];
 rob2 := reduce(+, ob2)
 
 overlabel(3, empty())$OutputForm
+
+-- lacked spaces between box
+
+box(x) * box(y)