diff options
| -rw-r--r-- | extras/chars.py | 1 | ||||
| -rw-r--r-- | preprocessor.py | 1 |
2 files changed, 2 insertions, 0 deletions
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, |