diff --git a/extras/chars.py b/extras/chars.py index 159a479a7..1bc25dbe7 100644 --- a/extras/chars.py +++ b/extras/chars.py @@ -99,6 +99,7 @@ chars = { 0xEA: "é", 0xEB: "→", 0xED: "▶", + 0xEE: "▼", 0xEF: "♂", 0xF0: "¥", 0xF1: "×", diff --git a/preprocessor.py b/preprocessor.py index c53612517..48906da5e 100644 --- a/preprocessor.py +++ b/preprocessor.py @@ -287,6 +287,7 @@ chars = { "é": 0xEA, "→": 0xEB, "▶": 0xED, +"▼": 0xEE, "♂": 0xEF, "¥": 0xF0, "×": 0xF1,