From 14bf4ffe5d7d88692ab895f96a2bb6a829a406de Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Thu, 20 Jan 2022 04:30:57 -0400
Subject: Better text formatting for types.

---
 stdlib/source/library/lux.lux | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stdlib/source/library/lux.lux')

diff --git a/stdlib/source/library/lux.lux b/stdlib/source/library/lux.lux
index 8bd316fee..bd3f36e3e 100644
--- a/stdlib/source/library/lux.lux
+++ b/stdlib/source/library/lux.lux
@@ -3003,10 +3003,10 @@
     (nat#encoded id)
     
     {#Var id}
-    ($_ text#composite "⌈v:" (nat#encoded id) "⌋")
+    ($_ text#composite "-" (nat#encoded id))
     
     {#Ex id}
-    ($_ text#composite "⟨e:" (nat#encoded id) "⟩")
+    ($_ text#composite "+" (nat#encoded id))
     
     {#UnivQ env body}
     ($_ text#composite "(All " (type#encoded body) ")")
-- 
cgit v1.2.3