diff --git a/extras/pretty_map_headers.py b/extras/pretty_map_headers.py
index b36d9242c..407a1f84d 100644
--- a/extras/pretty_map_headers.py
+++ b/extras/pretty_map_headers.py
@@ -327,6 +327,7 @@ char_conversion = [
 ("!", 0xE7),
 (".", 0xE8),
 ("♂", 0xEF),
+("¥", 0xF0),
 ("/", 0xF3),
 (",", 0xF4),
 ("♀", 0xF5),
diff --git a/textpre.awk b/textpre.awk
index 4858568aa..cbddd8ff2 100644
--- a/textpre.awk
+++ b/textpre.awk
@@ -238,6 +238,7 @@ char["?"] = "$E6"
 char["!"] = "$E7"
 char["."] = "$E8"
 char["♂"] = "$EF"
+char["¥"] = "$F0"
 char["/"] = "$F3"
 char[","] = "$F4"
 char["♀"] = "$F5"