1 files changed, 1 insertions, 1 deletions

diff --git a/rules.js b/rules.js
index e73d709..4a31d01 100644
--- a/rules.js
+++ b/rules.js
@@ -2332,7 +2332,7 @@ function signed_number(v) {
 	if (v > 0)
 		return "+" + v
 	if (v < 0)
-		return "\u2212" + (-v)
+		return "-" + (-v)
 	return "0"
 }