diff --git a/src/algebra/fmt1d.spad b/src/algebra/fmt1d.spad
index d0a1c17da..cde309950 100644
--- 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
index 72102380b..7cd7af547 100644
--- 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
index 0bd32f0f9..cb028ca6a 100644
--- 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))