1 files changed, 2 insertions, 0 deletions

diff --git a/play.js b/play.js
index 5885f48..3de05f8 100644
--- a/play.js
+++ b/play.js
@@ -1347,6 +1347,7 @@ function colorize(text) {
 	text = text.replaceAll("\u2663", colorize_C)
 	text = text.replaceAll("\u2665", colorize_H)
 	text = text.replaceAll("\u2666", colorize_D)
+	text = text.replace(/-( ?[\d(])/g, "\u2212$1")
 	return text
 }
 
@@ -1709,6 +1710,7 @@ function on_log(text) {
 	text = text.replace(/S(\d+)/g, sub_space)
 	text = text.replace(/P(\d+)/g, sub_piece)
 	text = text.replace(/C(\d+)/g, sub_political)
+	text = text.replace(/-( ?[\d(])/g, "\u2212$1")
 
 	if (text.startsWith("@")) {
 		p.className = "move_tip"