lib/scripts/symbolinput.pl
changeset 2967 89db5eedecab
parent 2945 b4f3840a42f8
child 3064 f04f93e5c0a9
equal deleted inserted replaced
2966:09e87e779b7d 2967:89db5eedecab
    40   "\xc0", "\\<and>",
    40   "\xc0", "\\<and>",
    41   "\xc1", "\\<or>",
    41   "\xc1", "\\<or>",
    42   "\xc2", "\\<forall>",
    42   "\xc2", "\\<forall>",
    43   "\xc3", "\\<exists>",
    43   "\xc3", "\\<exists>",
    44   "\xc4", "\\<And>",
    44   "\xc4", "\\<And>",
    45   "\xc5", "\\<lceil>",
    45   "\xc5", "\\<undef197>",
    46   "\xc6", "\\<rceil>",
    46   "\xc6", "\\<undef198>",
    47   "\xc7", "\\<lfloor>",
    47   "\xc7", "\\<undef199>",
    48   "\xc8", "\\<rfloor>",
    48   "\xc8", "\\<undef200>",
    49   "\xc9", "\\<turnstile>",
    49   "\xc9", "\\<turnstile>",
    50   "\xca", "\\<Turnstile>",
    50   "\xca", "\\<Turnstile>",
    51   "\xcb", "\\<lbrakk>",
    51   "\xcb", "\\<lbrakk>",
    52   "\xcc", "\\<rbrakk>",
    52   "\xcc", "\\<rbrakk>",
    53   "\xcd", "\\<cdot>",
    53   "\xcd", "\\<cdot>",