Index: support-files/apl.loadkeys =================================================================== --- support-files/apl.loadkeys (revision 378) +++ support-files/apl.loadkeys (working copy) @@ -18,48 +18,49 @@ alt keycode 1 = Meta_Escape shift alt keycode 1 = Meta_Escape keycode 2 = one exclam one one - alt keycode 2 = U+00A8 - shift alt keycode 2 = U+00A1 + alt keycode 2 = U+00A8 ! diaeresis + shift alt keycode 2 = U+2336 ! i-beam keycode 3 = two shift keycode 3 = at - alt keycode 3 = U+00AF - shift alt keycode 3 = U+20AC + alt keycode 3 = U+00AF ! overbar + shift alt keycode 3 = U+236B ! del-tilde keycode 4 = three shift keycode 4 = numbersign alt keycode 4 = less - shift alt keycode 4 = U+00A3 + shift alt keycode 4 = U+2352 ! del-stile keycode 5 = four shift keycode 5 = dollar - alt keycode 5 = U+2264 - shift alt keycode 5 = U+2367 + alt keycode 5 = U+2264 ! less-than-or-equal-to + shift alt keycode 5 = U+234B ! delta-stile keycode 6 = five shift keycode 6 = percent - alt keycode 6 = Meta_five - shift alt keycode 6 = Meta_percent + alt keycode 6 = equal + shift alt keycode 6 = U+233D ! circle-stile keycode 7 = six shift keycode 7 = asciicircum - alt keycode 7 = U+2265 + alt keycode 7 = U+2265 ! greater-than-or-equal-to + shift alt keycode 7 = U+2349 ! circle-backslash keycode 8 = seven shift keycode 8 = ampersand alt keycode 8 = greater - shift alt keycode 8 = greater + shift alt keycode 8 = U+2296 ! circled-minus keycode 9 = eight shift keycode 9 = asterisk - alt keycode 9 = U+2260 - shift alt keycode 9 = U+2342 + alt keycode 9 = U+2260 ! not-equal-to + shift alt keycode 9 = U+235F ! circle-star keycode 10 = nine parenleft nine nine - alt keycode 10 = U+2228 - shift alt keycode 10 = U+2371 + alt keycode 10 = U+2228 ! logical-or + shift alt keycode 10 = U+2371 ! down-caret-tilde keycode 11 = zero parenright zero zero - alt keycode 11 = U+2227 - shift alt keycode 11 = U+2372 + alt keycode 11 = U+2227 ! logical-and + shift alt keycode 11 = U+2372 ! up-caret-tilde keycode 12 = minus shift keycode 12 = underscore - alt keycode 12 = U+00D7 - shift alt keycode 12 = U+2261 + alt keycode 12 = U+00D7 ! multiplication-sign + shift alt keycode 12 = exclam keycode 13 = equal plus equal equal - alt keycode 13 = U+00F7 - shift alt keycode 13 = U+2339 + alt keycode 13 = U+00F7 ! division-sign + shift alt keycode 13 = U+2339 ! quad-divide keycode 14 = Delete alt keycode 14 = Meta_Delete shift alt keycode 14 = Meta_Delete @@ -69,48 +70,48 @@ keycode 16 = +q shift keycode 16 = +Q alt keycode 16 = question - shift alt keycode 16 = U+00BF keycode 17 = +w shift keycode 17 = +W - alt keycode 17 = U+2375 - shift alt keycode 17 = U+233D + alt keycode 17 = U+2375 ! omega + shift alt keycode 17 = U+2379 ! omega-underbar keycode 18 = +e shift keycode 18 = +E - alt keycode 18 = U+2208 - shift alt keycode 18 = U+22F8 + alt keycode 18 = U+2208 ! element-of + shift alt keycode 18 = U+2377 ! epsilon-underbar keycode 19 = +r shift keycode 19 = +R - alt keycode 19 = U+2374 + alt keycode 19 = U+2374 ! rho keycode 20 = +t shift keycode 20 = +T - alt keycode 20 = U+223C - shift alt keycode 20 = U+2349 + alt keycode 20 = U+223C ! tilde-operator + shift alt keycode 20 = U+2368 ! tilde-diaeresis keycode 21 = +y shift keycode 21 = +Y - alt keycode 21 = U+2191 - shift alt keycode 21 = U+00A5 + alt keycode 21 = U+2191 ! upwards-arrow + shift alt keycode 21 = U+00A5 ! yen-sign keycode 22 = +u shift keycode 22 = +U - alt keycode 22 = U+2193 + alt keycode 22 = U+2193 ! downwards-arrow keycode 23 = +i shift keycode 23 = +I - alt keycode 23 = U+2373 - shift alt keycode 23 = U+2378 + alt keycode 23 = U+2373 ! iota + shift alt keycode 23 = U+2378 ! iota-underbar keycode 24 = +o shift keycode 24 = +O - alt keycode 24 = U+25CB - shift alt keycode 24 = U+2365 + alt keycode 24 = U+25CB ! circle + shift alt keycode 24 = U+2365 ! circle-diaeresis keycode 25 = +p shift keycode 25 = +P - alt keycode 25 = U+22C6 - shift alt keycode 25 = U+235F + alt keycode 25 = U+22C6 ! star-operator + shift alt keycode 25 = U+2363 ! star-diaeresis keycode 26 = bracketleft shift keycode 26 = braceleft - alt keycode 26 = U+2190 + alt keycode 26 = U+2190 ! leftwards-arrow + shift alt keycode 26 = U+235E ! quote-quad keycode 27 = bracketright shift keycode 27 = braceright - alt keycode 27 = U+2192 - shift alt keycode 27 = U+236C + alt keycode 27 = U+2192 ! rightwards-arrow + shift alt keycode 27 = U+236C ! zilde keycode 28 = Return alt keycode 28 = Meta_Control_m shift alt keycode 28 = Meta_Control_m @@ -117,88 +118,85 @@ keycode 29 = Control keycode 30 = +a shift keycode 30 = +A - alt keycode 30 = U+237A - shift alt keycode 30 = U+2296 + alt keycode 30 = U+237A ! alpha + shift alt keycode 30 = U+2296 ! alpha-underbar keycode 31 = +s shift keycode 31 = +S - alt keycode 31 = U+2308 + alt keycode 31 = U+2308 ! upstile keycode 32 = +d shift keycode 32 = +D - alt keycode 32 = U+2308 + alt keycode 32 = U+230A ! downstile keycode 33 = +f shift keycode 33 = +F alt keycode 33 = underscore - shift alt keycode 33 = U+236B keycode 34 = +g shift keycode 34 = +G - alt keycode 34 = U+2207 - shift alt keycode 34 = U+2352 + alt keycode 34 = U+2207 ! italic-nabla (del) keycode 35 = +h shift keycode 35 = +H - alt keycode 35 = U+2206 - shift alt keycode 35 = U+234B + alt keycode 35 = U+2206 ! increment (delta) + shift alt keycode 35 = U+2359 ! delta-underbar keycode 36 = +j shift keycode 36 = +J - alt keycode 36 = U+2218 - shift alt keycode 36 = U+2364 + alt keycode 36 = U+2218 ! jot + shift alt keycode 36 = U+2364 ! jot-diaeresis keycode 37 = +k shift keycode 37 = +K alt keycode 37 = apostrophe - shift alt keycode 37 = U+233B keycode 38 = +l shift keycode 38 = +L - alt keycode 38 = U+2395 - shift alt keycode 38 = U+235E + alt keycode 38 = U+2395 ! quad + shift alt keycode 38 = U+2337 ! squish-quad keycode 39 = semicolon colon semicolon semicolon - alt keycode 39 = U+22A2 + alt keycode 39 = U+234E ! down-tack-jot + shift alt keycode 39 = U+2261 ! identical-to keycode 40 = apostrophe shift keycode 40 = quotedbl - alt keycode 40 = U+22A2 + alt keycode 40 = U+2355 ! up-tack-jot + shift alt keycode 40 = U+2262 ! not-identical-to keycode 41 = grave shift keycode 41 = asciitilde - alt keycode 41 = U+25CA - shift alt keycode 41 = U+2368 + alt keycode 41 = U+25CA ! lozenge (diamond) keycode 42 = Shift keycode 43 = backslash shift keycode 43 = bar - alt keycode 43 = U+235D - shift alt keycode 43 = U+2340 + alt keycode 43 = U+22A2 ! right-tack +shift alt keycode 43 = U+22A3 ! left-tack keycode 44 = +z shift keycode 44 = +Z - alt keycode 44 = U+2282 + alt keycode 44 = U+2282 ! subset-of keycode 45 = +x shift keycode 45 = +X - alt keycode 45 = U+2283 + alt keycode 45 = U+2283 ! superset-of + shift alt keycode 45 = U+03C7 ! chi keycode 46 = +c shift keycode 46 = +C - alt keycode 46 = U+2229 - shift alt keycode 46 = U+235D + alt keycode 46 = U+2229 ! cap + shift alt keycode 46 = U+00A2 ! cent-sign keycode 47 = +v shift keycode 47 = +V - alt keycode 47 = U+222A + alt keycode 47 = U+222A ! cup keycode 48 = +b shift keycode 48 = +B - alt keycode 48 = U+22A5 - shift alt keycode 48 = U+234E + alt keycode 48 = U+22A5 ! up-tack + shift alt keycode 48 = U+00A3 ! pound-sign keycode 49 = +n shift keycode 49 = +N - alt keycode 49 = U+22A4 - shift alt keycode 49 = U+2355 + alt keycode 49 = U+22A4 ! down-tack keycode 50 = +m shift keycode 50 = +M - alt keycode 50 = U+2223 - shift alt keycode 50 = U+2336 + alt keycode 50 = U+2223 ! stile keycode 51 = comma less comma comma - alt keycode 51 = U+2337 - shift alt keycode 51 = U+236A + alt keycode 51 = U+235D ! up-shoe-jot (lamp) + shift alt keycode 51 = U+236A ! comma-bar keycode 52 = period shift keycode 52 = greater - alt keycode 52 = U+234E - shift alt keycode 52 = U+2359 + alt keycode 52 = U+2340 ! backslash-bar + shift alt keycode 52 = U+2359 ! delta-underbar keycode 53 = slash shift keycode 53 = question - alt keycode 53 = U+2355 - shift alt keycode 53 = U+233F + alt keycode 53 = U+233F ! slash-bar + shift alt keycode 53 = U+2360 ! quad-colon keycode 54 = Shift keycode 55 = KP_Multiply altgr keycode 55 = Hex_C