lib/scripts/symbolinput.pl
changeset 3067 4d501db6ebed
parent 3064 f04f93e5c0a9
child 3068 b7562e452816
equal deleted inserted replaced
3066:3c548f92e032 3067:4d501db6ebed
    11   "\x93", "\\<lhd>",
    11   "\x93", "\\<lhd>",
    12   "\x94", "\\<rhd>",
    12   "\x94", "\\<rhd>",
    13   "\x95", "\\<tturnstile>",
    13   "\x95", "\\<tturnstile>",
    14   "\x96", "\\<langle>",
    14   "\x96", "\\<langle>",
    15   "\x97", "\\<rangle>",
    15   "\x97", "\\<rangle>",
    16   "\x98", "\\<choice>",
    16   "\x98", "\\<orelse>",
    17   "\x99", "\\<top>",
    17   "\x99", "\\<top>",
    18   "\x9a", "\\<Or>",
    18   "\x9a", "\\<Or>",
    19   "\x9b", "\\<ocdot>",
    19   "\x9b", "\\<ocdot>",
    20   "\x9c", "\\<iota>",
    20   "\x9c", "\\<iota>",
    21   "\x9d", "\\<upsilon>",
    21   "\x9d", "\\<upsilon>",