1 files changed, 2 insertions, 0 deletions

diff --git a/play.js b/play.js
index e8d45ef..ab25b59 100644
--- a/play.js
+++ b/play.js
@@ -1399,6 +1399,8 @@ function on_log(text) {
                 p.className = "indent"
         }
 
+	text = text.replace(/->/g, "\u2794")
+
 	text = text.replace(/&/g, "&")
 	text = text.replace(/</g, "&lt;")
 	text = text.replace(/>/g, "&gt;")