equal
deleted
inserted
replaced
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>", |