diff --git a/src/frontends/lean/token_table.cpp b/src/frontends/lean/token_table.cpp
index 76ecf21e4..8e9311c89 100644
--- a/src/frontends/lean/token_table.cpp
+++ b/src/frontends/lean/token_table.cpp
@@ -11,7 +11,7 @@ Author: Leonardo de Moura
 
 namespace lean {
 static unsigned g_arrow_prec      = 25;
-static unsigned g_decreasing_prec = 25;
+static unsigned g_decreasing_prec = 100;
 static unsigned g_max_prec        = 1024;
 static unsigned g_plus_prec       = 65;
 static unsigned g_cup_prec        = 60;