diff -r 07521b6eb888 -r 5a9626118941 lib/scripts/feeder.pl
--- a/lib/scripts/feeder.pl	Fri Sep 15 00:16:08 2000 +0200
+++ b/lib/scripts/feeder.pl	Fri Sep 15 00:16:36 2000 +0200
@@ -91,7 +91,7 @@
   "\xe9", "\\<Leftarrow>",
   "\xea", "\\<Midarrow>",
   "\xeb", "\\<Rightarrow>",
-  "\xec", "\\<bow>",
+  "\xec", "\\<frown>",
   "\xed", "\\<mapsto>",
   "\xee", "\\<leadsto>",
   "\xef", "\\<up>",