diff --git a/extras/chars.py b/extras/chars.py
index 1bc25dbe7..3810d83cb 100644
--- a/extras/chars.py
+++ b/extras/chars.py
@@ -98,6 +98,7 @@ chars = {
     0xE9: "&",
     0xEA: "é",
     0xEB: "→",
+    0xEC: "▷",
     0xED: "▶",
     0xEE: "▼",
     0xEF: "♂",
diff --git a/preprocessor.py b/preprocessor.py
index 242732094..30060e7d7 100644
--- a/preprocessor.py
+++ b/preprocessor.py
@@ -286,6 +286,7 @@ chars = {
 "&": 0xE9,
 "é": 0xEA,
 "→": 0xEB,
+"▷": 0xEC,
 "▶": 0xED,
 "▼": 0xEE,
 "♂": 0xEF,