1(global-set-key (kbd "C-!") "���") 2(global-set-key (kbd "C-?") "���") 3(global-set-key (kbd "C-&") "���") 4(global-set-key (kbd "C-|") "���") 5(global-set-key (kbd "C-M->") "���") 6(global-set-key (kbd "C-+") "���") 7(global-set-key (kbd "C-M-+") "���") 8(global-set-key (kbd "C-S-u") "���") 9(global-set-key (kbd "C-S-i") "���") 10(global-set-key (kbd "C-:") "���") 11(global-set-key (kbd "C-~") (lambda () (interactive) (insert "��"))) 12(global-set-key (kbd "C-S-c") "���") 13(global-set-key (kbd "C-S-q") "���") 14(global-set-key (kbd "C-M-~") "���") 15(global-set-key (kbd "C-M-S-b") "���") 16(global-set-key (kbd "C-M-S-m") "���") ; diaMond 17 18(global-set-key (kbd "C-{") "���") 19(global-set-key (kbd "C-}") "���") 20(global-set-key (kbd "C-M-{") "���") 21(global-set-key (kbd "C-M-}") "���") 22 23(define-prefix-command 'hol-unicode-p-map) 24(define-prefix-command 'hol-unicode-P-map) 25(define-prefix-command 'hol-unicode-not-map) 26(define-prefix-command 'hol-unicode-subscript-map) 27(define-prefix-command 'hol-unicode-superscript-map) 28(define-prefix-command 'hol-unicode-C-map) 29(define-prefix-command 'hol-unicode-Q-map) 30(define-prefix-command 'hol-unicode-U-map) 31(define-prefix-command 'hol-unicode-leftarrow-map) 32(define-prefix-command 'hol-unicode-rightarrow-map) 33(define-prefix-command 'hol-unicode-lparen-map) 34(define-prefix-command 'hol-unicode-rparen-map) 35(define-prefix-command 'hol-unicode-shift-map) 36(define-prefix-command 'hol-unicode-dquote-map) 37(define-prefix-command 'hol-unicode-squote-map) 38(define-prefix-command 'hol-unicode-frak-map) 39(define-prefix-command 'hol-unicode-bboard-map) 40(define-prefix-command 'hol-unicode-specialalphabet-map) 41(define-key global-map (kbd "C-S-f") 'hol-unicode-shift-map) 42(define-key global-map (kbd "C-S-p") 'hol-unicode-p-map) 43(define-key global-map (kbd "C-M-S-p") 'hol-unicode-P-map) 44(define-key global-map (kbd "C-M-|") 'hol-unicode-not-map) 45(define-key global-map (kbd "C-M-_") 'hol-unicode-subscript-map) 46(define-key global-map (kbd "C-M-^") 'hol-unicode-superscript-map) 47(define-key global-map (kbd "C-S-M-c") 'hol-unicode-C-map) 48(define-key global-map (kbd "C-S-M-q") 'hol-unicode-Q-map) 49(define-key global-map (kbd "C-S-M-u") 'hol-unicode-U-map) 50(define-key global-map (kbd "C-<") 'hol-unicode-leftarrow-map) 51(define-key global-map (kbd "C->") 'hol-unicode-rightarrow-map) 52(define-key global-map (kbd "C-M-(") 'hol-unicode-lparen-map) 53(define-key global-map (kbd "C-M-)") 'hol-unicode-rparen-map) 54(define-key global-map (kbd "C-\"") 'hol-unicode-squote-map) 55(define-key global-map (kbd "C-M-\"") 'hol-unicode-dquote-map) 56(define-key global-map (kbd "C-M-a") 'hol-unicode-specialalphabet-map) 57 58;; Greek : C-S-<char> for lower case version of Greek <char> 59;; add the Meta modifier for upper case Greek letter. 60(global-set-key (kbd "C-S-a") "��") 61(global-set-key (kbd "C-S-b") "��") 62(global-set-key (kbd "C-S-g") "��") 63(global-set-key (kbd "C-S-d") "��") 64(global-set-key (kbd "C-S-e") "��") 65(global-set-key (kbd "C-S-h") "��") 66(global-set-key (kbd "C-S-l") "��") 67(global-set-key (kbd "C-S-m") "��") 68(global-set-key (kbd "C-S-n") "��") 69(define-key hol-unicode-p-map "i" "��") 70(global-set-key (kbd "C-S-o") "��") 71(global-set-key (kbd "C-S-r") "��") 72(global-set-key (kbd "C-S-s") "��") 73(global-set-key (kbd "C-S-t") "��") 74(global-set-key (kbd "C-S-x") "��") 75(define-key hol-unicode-p-map "h" "��") ; U+03D5 76(define-key hol-unicode-p-map "v" "��") ; U+03C6 77(define-key hol-unicode-p-map "s" "��") 78 79(global-set-key (kbd "C-S-M-g") "��") 80(global-set-key (kbd "C-S-M-d") "��") 81(global-set-key (kbd "C-S-M-l") "��") 82(global-set-key (kbd "C-S-M-s") "��") 83(global-set-key (kbd "C-S-M-t") "��") 84(global-set-key (kbd "C-S-M-o") "��") 85(global-set-key (kbd "C-S-M-x") "��") 86(define-key hol-unicode-P-map "i" "��") 87(define-key hol-unicode-P-map "h" "��") 88(define-key hol-unicode-P-map "s" "��") 89 90(define-key hol-unicode-not-map "=" "���") 91(define-key hol-unicode-not-map ":" "���") 92(define-key hol-unicode-not-map "0" "���") 93(define-key hol-unicode-not-map "~" "���") 94(define-key hol-unicode-not-map "<" "���") 95(define-key hol-unicode-not-map ">" "���") 96(define-key hol-unicode-not-map (kbd "C-<") "���") 97(define-key hol-unicode-not-map (kbd "C->") "���") 98(define-key hol-unicode-not-map (kbd "C-M-<") "���") 99(define-key hol-unicode-not-map (kbd "C-M->") "���") 100(define-key hol-unicode-not-map (kbd "C-S-q") "���") 101(define-key hol-unicode-not-map (kbd "C-+") "���") 102(define-key hol-unicode-not-map (kbd ",") "���") 103 104(define-key hol-unicode-subscript-map "1" "���") 105(define-key hol-unicode-subscript-map "2" "���") 106(define-key hol-unicode-subscript-map "3" "���") 107(define-key hol-unicode-subscript-map "4" "���") 108(define-key hol-unicode-subscript-map "5" "���") 109(define-key hol-unicode-subscript-map "6" "���") 110(define-key hol-unicode-subscript-map "7" "���") 111(define-key hol-unicode-subscript-map "8" "���") 112(define-key hol-unicode-subscript-map "9" "���") 113(define-key hol-unicode-subscript-map "0" "���") 114(define-key hol-unicode-subscript-map "a" "���") 115(define-key hol-unicode-subscript-map "e" "���") 116(define-key hol-unicode-subscript-map "h" "���") 117(define-key hol-unicode-subscript-map "i" "���") 118(define-key hol-unicode-subscript-map "j" "���") 119(define-key hol-unicode-subscript-map "k" "���") 120(define-key hol-unicode-subscript-map "l" "���") 121(define-key hol-unicode-subscript-map "m" "���") 122(define-key hol-unicode-subscript-map "n" "���") 123(define-key hol-unicode-subscript-map "o" "���") 124(define-key hol-unicode-subscript-map "p" "���") 125(define-key hol-unicode-subscript-map "r" "���") 126(define-key hol-unicode-subscript-map "s" "���") 127(define-key hol-unicode-subscript-map "t" "���") 128(define-key hol-unicode-subscript-map "u" "���") 129(define-key hol-unicode-subscript-map "v" "���") 130(define-key hol-unicode-subscript-map "x" "���") 131(define-key hol-unicode-subscript-map "+" "���") 132(define-key hol-unicode-subscript-map "=" "���") 133(define-key hol-unicode-subscript-map "-" "���") 134 135(define-key hol-unicode-superscript-map "1" 136 (lambda () (interactive) (insert "��"))) 137(define-key hol-unicode-superscript-map "2" 138 (lambda () (interactive) (insert "��"))) 139(define-key hol-unicode-superscript-map "3" 140 (lambda () (interactive) (insert "��"))) 141(define-key hol-unicode-superscript-map "4" "���") 142(define-key hol-unicode-superscript-map "5" "���") 143(define-key hol-unicode-superscript-map "6" "���") 144(define-key hol-unicode-superscript-map "7" "���") 145(define-key hol-unicode-superscript-map "8" "���") 146(define-key hol-unicode-superscript-map "9" "���") 147(define-key hol-unicode-superscript-map "0" "���") 148(define-key hol-unicode-superscript-map "+" "���") 149(define-key hol-unicode-superscript-map "-" "���") 150(define-key hol-unicode-superscript-map "=" "���") 151(define-key hol-unicode-superscript-map "*" "���") 152 153(define-key hol-unicode-superscript-map "A" "���") 154(define-key hol-unicode-superscript-map "B" "���") 155(define-key hol-unicode-superscript-map "D" "���") 156(define-key hol-unicode-superscript-map "E" "���") 157(define-key hol-unicode-superscript-map "G" "���") 158(define-key hol-unicode-superscript-map "H" "���") 159(define-key hol-unicode-superscript-map "I" "���") 160(define-key hol-unicode-superscript-map "J" "���") 161(define-key hol-unicode-superscript-map "K" "���") 162(define-key hol-unicode-superscript-map "L" "���") 163(define-key hol-unicode-superscript-map "M" "���") 164(define-key hol-unicode-superscript-map "N" "���") 165(define-key hol-unicode-superscript-map "O" "���") 166(define-key hol-unicode-superscript-map "P" "���") 167(define-key hol-unicode-superscript-map "R" "���") 168(define-key hol-unicode-superscript-map "T" "���") 169(define-key hol-unicode-superscript-map "U" "���") 170(define-key hol-unicode-superscript-map "V" "���") 171(define-key hol-unicode-superscript-map "W" "���") 172(define-key hol-unicode-superscript-map "a" "���") 173(define-key hol-unicode-superscript-map "b" "���") 174(define-key hol-unicode-superscript-map "c" "���") 175(define-key hol-unicode-superscript-map "d" "���") 176(define-key hol-unicode-superscript-map "e" "���") 177(define-key hol-unicode-superscript-map "f" "���") 178(define-key hol-unicode-superscript-map "g" "���") 179(define-key hol-unicode-superscript-map "h" "��") 180(define-key hol-unicode-superscript-map "i" "���") 181(define-key hol-unicode-superscript-map "j" "��") 182(define-key hol-unicode-superscript-map "k" "���") 183(define-key hol-unicode-superscript-map "l" "��") 184(define-key hol-unicode-superscript-map "m" "���") 185(define-key hol-unicode-superscript-map "n" "���") 186(define-key hol-unicode-superscript-map "o" "���") 187(define-key hol-unicode-superscript-map "p" "���") 188(define-key hol-unicode-superscript-map "r" "��") 189(define-key hol-unicode-superscript-map "s" "��") 190(define-key hol-unicode-superscript-map "t" "���") 191(define-key hol-unicode-superscript-map "u" "���") 192(define-key hol-unicode-superscript-map "v" "���") 193(define-key hol-unicode-superscript-map "w" "��") 194(define-key hol-unicode-superscript-map "x" "��") 195(define-key hol-unicode-superscript-map "y" "��") 196(define-key hol-unicode-superscript-map "z" "���") 197 198;; ��� ��� ��� ��� ��� ��� ��� ��� ��� ��� ��� ��� ��� 199 200(define-prefix-command 'hol-unicode-zero-map) 201(global-set-key (kbd "C-)") 'hol-unicode-zero-map) 202(define-key hol-unicode-zero-map "+" "���") 203(define-key hol-unicode-zero-map "*" "���") 204(define-key hol-unicode-zero-map "-" "���") 205(define-key hol-unicode-zero-map "." "���") 206(define-key hol-unicode-zero-map "/" "���") 207(define-key hol-unicode-zero-map "0" "���") ; U+2218 208 209(define-key hol-unicode-U-map "u" "����") 210(define-key hol-unicode-U-map "+" "���") ; U+228E "multiset union" 211(define-key hol-unicode-U-map "<" "���") ; U+228C called simply "multiset", used in HOL for FUNION 212(define-key hol-unicode-U-map "p" "��") ; Up-silon 213 214; parenthesis map - for various forms of parenthesis 215(define-key hol-unicode-lparen-map (kbd "C-M-|") "���") 216(define-key hol-unicode-rparen-map (kbd "C-M-|") "���") 217(define-key hol-unicode-lparen-map (kbd "C-M-(") "���") 218(define-key hol-unicode-rparen-map (kbd "C-M-)") "���") 219(define-key hol-unicode-lparen-map (kbd "C-<") "���") 220(define-key hol-unicode-rparen-map (kbd "C->") "���") 221(define-key hol-unicode-lparen-map (kbd "C-M-<") "���") 222(define-key hol-unicode-rparen-map (kbd "C-M->") "���") 223(define-key hol-unicode-lparen-map (kbd "C-M-^") "���") 224(define-key hol-unicode-rparen-map (kbd "C-M-^") "���") 225(define-key hol-unicode-lparen-map (kbd "C-M-[") "���") 226(define-key hol-unicode-rparen-map (kbd "C-M-]") "���") 227 228; shift map 229(define-key hol-unicode-shift-map (kbd "a") "���") 230(define-key hol-unicode-shift-map (kbd "l") "���") 231(define-key hol-unicode-shift-map (kbd "r") "���") 232 233; curly/curvy relational operator map 234(define-key hol-unicode-C-map (kbd "_") "���") 235(define-key hol-unicode-C-map (kbd "-") "���") 236(define-key hol-unicode-C-map (kbd ".") "���") 237(define-key hol-unicode-C-map (kbd "c") "���") 238(define-key hol-unicode-C-map (kbd "l") "���") 239(define-key hol-unicode-C-map (kbd "p") "���") ; "p" for proper 240(define-key hol-unicode-C-map (kbd "q") "���") ; "q" for less-or-eQual 241(define-key hol-unicode-C-map (kbd "=") "���") 242(define-key hol-unicode-C-map (kbd "<") "���") 243(define-key hol-unicode-C-map (kbd "^") "���") 244 245; sQuare operators map 246(define-key hol-unicode-Q-map (kbd "q") "���") 247(define-key hol-unicode-Q-map (kbd "<") "���") 248(define-key hol-unicode-Q-map (kbd "i") "���") 249(define-key hol-unicode-Q-map (kbd "u") "���") 250(define-key hol-unicode-Q-map (kbd "/") "���") 251(define-key hol-unicode-Q-map (kbd "+") "���") 252(define-key hol-unicode-Q-map (kbd "-") "���") 253(define-key hol-unicode-Q-map (kbd "*") "���") 254(define-key hol-unicode-Q-map (kbd ".") "���") 255 256 257; double quotation marks map 258(define-key hol-unicode-dquote-map (kbd "C-M-{") "���") 259(define-key hol-unicode-dquote-map (kbd "C-M-}") "���") 260(define-key hol-unicode-dquote-map (kbd "C-M-<") 261 (lambda () (interactive) (insert "��"))) 262(define-key hol-unicode-dquote-map (kbd "C-M->") 263 (lambda () (interactive) (insert "��"))) 264 265; single quotation marks map 266(define-key hol-unicode-squote-map (kbd "C-{") "���") 267(define-key hol-unicode-squote-map (kbd "C-}") "���") 268(define-key hol-unicode-squote-map (kbd "C-<") 269 (lambda () (interactive) (insert "���"))) 270(define-key hol-unicode-squote-map (kbd "C->") 271 (lambda () (interactive) (insert "���"))) 272 273(define-key hol-unicode-specialalphabet-map (kbd "f") hol-unicode-frak-map) 274; fraktur map 275; app (fn (s1,s2,s3) => 276; print ("(define-key hol-unicode-frak-map (kbd \"" ^ s1 ^ "\") \"" ^ 277; s2 ^ "\") ; U+" ^ s3 ^ "\n")) 278; (List.tabulate (26, (fn i => (UTF8.chr (i + 65), 279; UTF8.chr (i + 0x1D56C), 280; Int.fmt StringCvt.HEX (i + 0x1D56C))))); 281(define-key hol-unicode-frak-map (kbd "A") "����") ; U+1D56C 282(define-key hol-unicode-frak-map (kbd "B") "����") ; U+1D56D 283(define-key hol-unicode-frak-map (kbd "C") "����") ; U+1D56E 284(define-key hol-unicode-frak-map (kbd "D") "����") ; U+1D56F 285(define-key hol-unicode-frak-map (kbd "E") "����") ; U+1D570 286(define-key hol-unicode-frak-map (kbd "F") "����") ; U+1D571 287(define-key hol-unicode-frak-map (kbd "G") "����") ; U+1D572 288(define-key hol-unicode-frak-map (kbd "H") "����") ; U+1D573 289(define-key hol-unicode-frak-map (kbd "I") "����") ; U+1D574 290(define-key hol-unicode-frak-map (kbd "J") "����") ; U+1D575 291(define-key hol-unicode-frak-map (kbd "K") "����") ; U+1D576 292(define-key hol-unicode-frak-map (kbd "L") "����") ; U+1D577 293(define-key hol-unicode-frak-map (kbd "M") "����") ; U+1D578 294(define-key hol-unicode-frak-map (kbd "N") "����") ; U+1D579 295(define-key hol-unicode-frak-map (kbd "O") "����") ; U+1D57A 296(define-key hol-unicode-frak-map (kbd "P") "����") ; U+1D57B 297(define-key hol-unicode-frak-map (kbd "Q") "����") ; U+1D57C 298(define-key hol-unicode-frak-map (kbd "R") "����") ; U+1D57D 299(define-key hol-unicode-frak-map (kbd "S") "����") ; U+1D57E 300(define-key hol-unicode-frak-map (kbd "T") "����") ; U+1D57F 301(define-key hol-unicode-frak-map (kbd "U") "����") ; U+1D580 302(define-key hol-unicode-frak-map (kbd "V") "����") ; U+1D581 303(define-key hol-unicode-frak-map (kbd "W") "����") ; U+1D582 304(define-key hol-unicode-frak-map (kbd "X") "����") ; U+1D583 305(define-key hol-unicode-frak-map (kbd "Y") "����") ; U+1D584 306(define-key hol-unicode-frak-map (kbd "Z") "����") ; U+1D585 307; app (fn (s1,s2,s3) => 308; print ("(define-key hol-unicode-frak-map (kbd \"" ^ s1 ^ "\") \"" ^ 309; s2 ^ "\") ; U+" ^ s3 ^ "\n")) 310; (List.tabulate (26, (fn i => (UTF8.chr (i + 97), 311; UTF8.chr (i + 0x1D586), 312; Int.fmt StringCvt.HEX (i + 0x1D586))))); 313(define-key hol-unicode-frak-map (kbd "a") "����") ; U+1D586 314(define-key hol-unicode-frak-map (kbd "b") "����") ; U+1D587 315(define-key hol-unicode-frak-map (kbd "c") "����") ; U+1D588 316(define-key hol-unicode-frak-map (kbd "d") "����") ; U+1D589 317(define-key hol-unicode-frak-map (kbd "e") "����") ; U+1D58A 318(define-key hol-unicode-frak-map (kbd "f") "����") ; U+1D58B 319(define-key hol-unicode-frak-map (kbd "g") "����") ; U+1D58C 320(define-key hol-unicode-frak-map (kbd "h") "����") ; U+1D58D 321(define-key hol-unicode-frak-map (kbd "i") "����") ; U+1D58E 322(define-key hol-unicode-frak-map (kbd "j") "����") ; U+1D58F 323(define-key hol-unicode-frak-map (kbd "k") "����") ; U+1D590 324(define-key hol-unicode-frak-map (kbd "l") "����") ; U+1D591 325(define-key hol-unicode-frak-map (kbd "m") "����") ; U+1D592 326(define-key hol-unicode-frak-map (kbd "n") "����") ; U+1D593 327(define-key hol-unicode-frak-map (kbd "o") "����") ; U+1D594 328(define-key hol-unicode-frak-map (kbd "p") "����") ; U+1D595 329(define-key hol-unicode-frak-map (kbd "q") "����") ; U+1D596 330(define-key hol-unicode-frak-map (kbd "r") "����") ; U+1D597 331(define-key hol-unicode-frak-map (kbd "s") "����") ; U+1D598 332(define-key hol-unicode-frak-map (kbd "t") "����") ; U+1D599 333(define-key hol-unicode-frak-map (kbd "u") "����") ; U+1D59A 334(define-key hol-unicode-frak-map (kbd "v") "����") ; U+1D59B 335(define-key hol-unicode-frak-map (kbd "w") "����") ; U+1D59C 336(define-key hol-unicode-frak-map (kbd "x") "����") ; U+1D59D 337(define-key hol-unicode-frak-map (kbd "y") "����") ; U+1D59E 338(define-key hol-unicode-frak-map (kbd "z") "����") ; U+1D59F 339 340 341; blackboard map 342(define-key hol-unicode-specialalphabet-map (kbd "b") hol-unicode-bboard-map) 343;app (fn (s1,s2,s3) => 344; print ("(define-key hol-unicode-bboard-map (kbd \"" ^ s1 ^ "\") \"" ^ 345; s2 ^ "\") ; U+" ^ s3 ^ "\n")) 346; (List.tabulate (26, (fn i => (UTF8.chr (i + 65), 347; UTF8.chr (i + 0x1D538), 348; Int.fmt StringCvt.HEX (i + 0x1D538))))) 349; except special cases: C, H, N, P, Q, R and Z 350(define-key hol-unicode-bboard-map (kbd "A") "����") ; U+1D538 351(define-key hol-unicode-bboard-map (kbd "B") "����") ; U+1D539 352(define-key hol-unicode-bboard-map (kbd "C") "���") ; U+2102 353(define-key hol-unicode-bboard-map (kbd "D") "����") ; U+1D53B 354(define-key hol-unicode-bboard-map (kbd "E") "����") ; U+1D53C 355(define-key hol-unicode-bboard-map (kbd "F") "����") ; U+1D53D 356(define-key hol-unicode-bboard-map (kbd "G") "����") ; U+1D53E 357(define-key hol-unicode-bboard-map (kbd "H") "���") ; U+210D 358(define-key hol-unicode-bboard-map (kbd "I") "����") ; U+1D540 359(define-key hol-unicode-bboard-map (kbd "J") "����") ; U+1D541 360(define-key hol-unicode-bboard-map (kbd "K") "����") ; U+1D542 361(define-key hol-unicode-bboard-map (kbd "L") "����") ; U+1D543 362(define-key hol-unicode-bboard-map (kbd "M") "����") ; U+1D544 363(define-key hol-unicode-bboard-map (kbd "N") "���") ; U+1D545 364(define-key hol-unicode-bboard-map (kbd "O") "����") ; U+1D546 365(define-key hol-unicode-bboard-map (kbd "P") "���") ; U+1D547 366(define-key hol-unicode-bboard-map (kbd "Q") "���") ; U+1D548 367(define-key hol-unicode-bboard-map (kbd "R") "���") ; U+1D549 368(define-key hol-unicode-bboard-map (kbd "S") "����") ; U+1D54A 369(define-key hol-unicode-bboard-map (kbd "T") "����") ; U+1D54B 370(define-key hol-unicode-bboard-map (kbd "U") "����") ; U+1D54C 371(define-key hol-unicode-bboard-map (kbd "V") "����") ; U+1D54D 372(define-key hol-unicode-bboard-map (kbd "W") "����") ; U+1D54E 373(define-key hol-unicode-bboard-map (kbd "X") "����") ; U+1D54F 374(define-key hol-unicode-bboard-map (kbd "Y") "����") ; U+1D550 375(define-key hol-unicode-bboard-map (kbd "Z") "���") ; U+1D551 376 377 378 379; arrow maps 380(define-key hol-unicode-leftarrow-map (kbd "-") "���") 381(define-key hol-unicode-leftarrow-map (kbd "C-<") "���") 382(define-key hol-unicode-leftarrow-map (kbd "C->") "���") 383(define-key hol-unicode-leftarrow-map (kbd "<") "���") 384(define-key hol-unicode-leftarrow-map (kbd "|") "���") 385(define-key hol-unicode-leftarrow-map (kbd "`") "���") 386(define-key hol-unicode-leftarrow-map (kbd ",") "���") 387(define-key hol-unicode-leftarrow-map (kbd ".") "���") 388(define-key hol-unicode-leftarrow-map (kbd "=") "���") 389(define-key hol-unicode-leftarrow-map (kbd "a") "���") 390(define-key hol-unicode-leftarrow-map (kbd "c") "���") 391(define-key hol-unicode-leftarrow-map (kbd "w") "���") 392(define-key hol-unicode-leftarrow-map (kbd "~") "���") 393 394(define-key hol-unicode-rightarrow-map (kbd "-") "���") 395(define-key hol-unicode-rightarrow-map (kbd "C->") "���") 396(define-key hol-unicode-rightarrow-map (kbd ">") "���") 397(define-key hol-unicode-rightarrow-map (kbd "|") "���") 398(define-key hol-unicode-rightarrow-map (kbd "`") "���") 399(define-key hol-unicode-rightarrow-map (kbd ",") "���") 400(define-key hol-unicode-rightarrow-map (kbd ".") "���") 401(define-key hol-unicode-rightarrow-map (kbd "=") "���") 402(define-key hol-unicode-rightarrow-map (kbd "a") "���") 403(define-key hol-unicode-rightarrow-map (kbd "c") "���") 404(define-key hol-unicode-rightarrow-map (kbd "w") "���") 405(define-key hol-unicode-rightarrow-map (kbd "~") "���") 406