formatting fix for types

hemmecke · Jan 9, 2024 · 1d2602f · 1d2602f
1 parent 55c1543
commit 1d2602f
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/src/algebra/fmt1d.spad b/src/algebra/fmt1d.spad
@@ -470,8 +470,8 @@ Here we (wrongly) return \verb|+%Infinity| and \verb|-%Infinity| for
         o(2, "and",         nary(" and ",      300, FE 300))
         o(2, "or",          nary(" or ",       200, FE 200))
         o(2, "LET",         nary(":=",         125, FE 125))
-        o(2, "->",          nary("->",         1001, FE 1001))
-        o(2, "~>",          nary(" ~> ",       100, FE 100))
+        o(2, "->",          nary(" -> ",       990, FE 990))
+        o(2, "~>",          nary(" ~> ",       100, FE 110))
         o(2, "+->",         nary(" +-> ",      100, FE 100))
         o(2, "|",           nary(" | ",        100, FE 100))
 

diff --git a/src/algebra/fmt2d.spad b/src/algebra/fmt2d.spad
@@ -530,7 +530,7 @@ data structure.
         o(2, "and",         nary(" and ",      300, FE 300))
         o(2, "or",          nary(" or ",       200, FE 200))
         o(2, "LET",         nary(" := ",       125, FE 125))
-        o(2, "->",          nary("->",         1001, FE 1001))
+        o(2, "->",          nary(" -> ",       999, FE 999))
         o(2, "~>",          nary(" ~> ",       100, FE 100))
         o(2, "+->",         nary(" +-> ",      100, FE 100))
         o(2, "|",           nary(" | ",        100, FE 100))

diff --git a/src/algebra/fmtmathjax.spad b/src/algebra/fmtmathjax.spad
@@ -506,7 +506,7 @@ data structure.
         o(2, "and",         nary("\land ",     300, FE 300))
         o(2, "or",          nary("\lor ",      200, FE 200))
         o(2, "LET",         nary(":=",         125, FE 125))
-        o(2, "->",          nary("\to ",       1001, FE 1001))
+        o(2, "->",          nary("\to ",       990, FE 990))
         o(2, "~>",          nary("\leadsto ",  100, FE 100))
         o(2, "+->",         nary("\mapsto ",   100, FE 100))
         o(2, "|",           nary("\mid ",      100, FE 100))