lib/scripts/feeder.pl
changeset 9961 5a9626118941
parent 9789 7e5e6c47c0b5
child 12111 d942348d8faf
equal deleted inserted replaced
9960:07521b6eb888 9961:5a9626118941
    89   "\xe7", "\\<midarrow>",
    89   "\xe7", "\\<midarrow>",
    90   "\xe8", "\\<rightarrow>",
    90   "\xe8", "\\<rightarrow>",
    91   "\xe9", "\\<Leftarrow>",
    91   "\xe9", "\\<Leftarrow>",
    92   "\xea", "\\<Midarrow>",
    92   "\xea", "\\<Midarrow>",
    93   "\xeb", "\\<Rightarrow>",
    93   "\xeb", "\\<Rightarrow>",
    94   "\xec", "\\<bow>",
    94   "\xec", "\\<frown>",
    95   "\xed", "\\<mapsto>",
    95   "\xed", "\\<mapsto>",
    96   "\xee", "\\<leadsto>",
    96   "\xee", "\\<leadsto>",
    97   "\xef", "\\<up>",
    97   "\xef", "\\<up>",
    98   "\xf0", "\\<down>",
    98   "\xf0", "\\<down>",
    99   "\xf1", "\\<notin>",
    99   "\xf1", "\\<notin>",