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