API tools faq
paste
Advertisement
wicko3

MathUnicode.keylayout

wicko3
May 8th, 2013
1,101
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
XML 53.33 KB | None | 0 0
raw download clone embed print report
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <!DOCTYPE keyboard SYSTEM "file://localhost/System/Library/DTDs/KeyboardLayout.dtd">
  3. <!-- Fri, 24 Feb 2006 Generated from KCHR: "British" -->
  4. <!--Last edited by Ukelele version 1.8.4 on 2010-03-19 at 10:02 (GMT)-->
  5. <!--Created by Ukelele version 1.8.4 on 2009-11-05 at 10:35 (GMT)-->
  6. <keyboard group="0" id="2" name="MathUnicode" maxout="1">
  7.     <layouts>
  8.         <layout first="0" last="0" modifiers="commonModifiers" mapSet="ANSI"/>
  9.     </layouts>
  10.     <modifierMap id="commonModifiers" defaultIndex="0">
  11.         <keyMapSelect mapIndex="0">
  12.             <modifier keys="command?"/>
  13.             <modifier keys="anyShift command caps?"/>
  14.         </keyMapSelect>
  15.         <keyMapSelect mapIndex="1">
  16.             <modifier keys="anyShift caps?"/>
  17.         </keyMapSelect>
  18.         <keyMapSelect mapIndex="2">
  19.             <modifier keys="command? caps"/>
  20.         </keyMapSelect>
  21.         <keyMapSelect mapIndex="3">
  22.             <modifier keys="anyOption"/>
  23.         </keyMapSelect>
  24.         <keyMapSelect mapIndex="4">
  25.             <modifier keys="anyShift anyOption command? caps?"/>
  26.         </keyMapSelect>
  27.         <keyMapSelect mapIndex="5">
  28.             <modifier keys="anyOption command? caps"/>
  29.         </keyMapSelect>
  30.         <keyMapSelect mapIndex="6">
  31.             <modifier keys="anyOption command"/>
  32.         </keyMapSelect>
  33.         <keyMapSelect mapIndex="7">
  34.             <modifier keys="anyShift? anyOption? anyControl caps?"/>
  35.             <modifier keys="anyShift? anyOption? anyControl command?"/>
  36.             <modifier keys="anyShift anyOption rightControl command caps"/>
  37.             <modifier keys="anyShift rightOption? anyControl command caps"/>
  38.             <modifier keys="rightShift? anyOption anyControl command caps"/>
  39.             <modifier keys="anyShift anyOption control command caps"/>
  40.             <modifier keys="anyShift option? anyControl command caps"/>
  41.             <modifier keys="shift? anyOption anyControl command caps"/>
  42.             <modifier keys="anyOption? anyControl command? caps?"/>
  43.         </keyMapSelect>
  44.     </modifierMap>
  45.     <keyMapSet id="ANSI">
  46.         <keyMap index="0">
  47.             <!-- default -->
  48.             <key code="0" output="a"/>
  49.             <key code="1" output="s"/>
  50.             <key code="2" output="d"/>
  51.             <key code="3" output="f"/>
  52.             <key code="4" output="h"/>
  53.             <key code="5" output="g"/>
  54.             <key code="6" output="z"/>
  55.             <key code="7" output="x"/>
  56.             <key code="8" output="c"/>
  57.             <key code="9" output="v"/>
  58.             <key code="10" output="§"/>
  59.             <key code="11" output="b"/>
  60.             <key code="12" output="q"/>
  61.             <key code="13" output="w"/>
  62.             <key code="14" output="e"/>
  63.             <key code="15" output="r"/>
  64.             <key code="16" output="y"/>
  65.             <key code="17" output="t"/>
  66.             <key code="18" output="1"/>
  67.             <key code="19" output="2"/>
  68.             <key code="20" output="3"/>
  69.             <key code="21" output="4"/>
  70.             <key code="22" output="6"/>
  71.             <key code="23" output="5"/>
  72.             <key code="24" action="="/>
  73.             <key code="25" output="9"/>
  74.             <key code="26" output="7"/>
  75.             <key code="27" action="-"/>
  76.             <key code="28" output="8"/>
  77.             <key code="29" action="0"/>
  78.             <key code="30" action="]"/>
  79.             <key code="31" output="o"/>
  80.             <key code="32" output="u"/>
  81.             <key code="33" action="["/>
  82.             <key code="34" output="i"/>
  83.             <key code="35" output="p"/>
  84.             <key code="36" output="&#x000d;"/>
  85.             <key code="37" output="l"/>
  86.             <key code="38" output="j"/>
  87.             <key code="39" output="'"/>
  88.             <key code="40" output="k"/>
  89.             <key code="41" output=";"/>
  90.             <key code="42" action="bslash"/>
  91.             <key code="43" output=","/>
  92.             <key code="44" action="slash"/>
  93.             <key code="45" output="n"/>
  94.             <key code="46" output="m"/>
  95.             <key code="47" action="."/>
  96.             <key code="48" output="&#x0009;"/>
  97.             <key code="49" output=" "/>
  98.             <key code="50" action="`"/>
  99.             <key code="51" action="backspace"/>
  100.             <key code="52" output="&#x0003;"/>
  101.             <key code="53" output="&#x001b;"/>
  102.             <!-- gap, 54 through 64 -->
  103.             <key code="64" output="&#x0010;"/>
  104.             <key code="65" output="."/>
  105.             <key code="66" output="&#x001d;"/>
  106.             <key code="67" output="*"/>
  107.             <!-- gap, 68 -->
  108.             <key code="69" output="+"/>
  109.             <key code="70" output="&#x001c;"/>
  110.             <key code="71" output="&#x001b;"/>
  111.             <key code="72" output="&#x001f;"/>
  112.             <!-- gap, 73 through 74 -->
  113.             <key code="75" output="/"/>
  114.             <key code="76" output="&#x0003;"/>
  115.             <key code="77" output="&#x001e;"/>
  116.             <key code="78" output="-"/>
  117.             <!-- gap, 79 through 80 -->
  118.             <key code="79" output="&#x0010;"/>
  119.             <key code="80" output="&#x0010;"/>
  120.             <key code="81" output="="/>
  121.             <key code="82" output="0"/>
  122.             <key code="83" output="1"/>
  123.             <key code="84" output="2"/>
  124.             <key code="85" output="3"/>
  125.             <key code="86" output="4"/>
  126.             <key code="87" output="5"/>
  127.             <key code="88" output="6"/>
  128.             <key code="89" output="7"/>
  129.             <!-- gap, 90 -->
  130.             <key code="91" output="8"/>
  131.             <key code="92" output="9"/>
  132.             <!-- gap, 93 through 95 -->
  133.             <key code="96" output="&#x0010;"/>
  134.             <key code="97" output="&#x0010;"/>
  135.             <key code="98" output="&#x0010;"/>
  136.             <key code="99" output="&#x0010;"/>
  137.             <key code="100" output="&#x0010;"/>
  138.             <key code="101" output="&#x0010;"/>
  139.             <key code="102" output="&#x0010;"/>
  140.             <key code="103" output="&#x0010;"/>
  141.             <key code="104" output="&#x0010;"/>
  142.             <key code="105" output="&#x0010;"/>
  143.             <key code="106" output="&#x0010;"/>
  144.             <key code="107" output="&#x0010;"/>
  145.             <key code="108" output="&#x0010;"/>
  146.             <key code="109" output="&#x0010;"/>
  147.             <key code="110" output="&#x0010;"/>
  148.             <key code="111" output="&#x0010;"/>
  149.             <key code="112" output="&#x0010;"/>
  150.             <key code="113" output="&#x0010;"/>
  151.             <key code="114" output="&#x0005;"/>
  152.             <key code="115" output="&#x0001;"/>
  153.             <key code="116" output="&#x000b;"/>
  154.             <key code="117" output="&#x007f;"/>
  155.             <key code="118" output="&#x0010;"/>
  156.             <key code="119" output="&#x0004;"/>
  157.             <key code="120" output="&#x0010;"/>
  158.             <key code="121" output="&#x000c;"/>
  159.             <key code="122" output="&#x0010;"/>
  160.             <key code="123" output="&#x001c;"/>
  161.             <key code="124" output="&#x001d;"/>
  162.             <key code="125" output="&#x001f;"/>
  163.             <key code="126" output="&#x001e;"/>
  164.         </keyMap>
  165.         <keyMap index="1">
  166.             <!-- shift -->
  167.             <key code="0" output="A"/>
  168.             <key code="1" output="S"/>
  169.             <key code="2" output="D"/>
  170.             <key code="3" output="F"/>
  171.             <key code="4" output="H"/>
  172.             <key code="5" output="G"/>
  173.             <key code="6" output="Z"/>
  174.             <key code="7" output="X"/>
  175.             <key code="8" output="C"/>
  176.             <key code="9" output="V"/>
  177.             <key code="10" output="§"/>
  178.             <key code="11" output="B"/>
  179.             <key code="12" output="Q"/>
  180.             <key code="13" output="W"/>
  181.             <key code="14" action="E"/>
  182.             <key code="15" output="R"/>
  183.             <key code="16" output="Y"/>
  184.             <key code="17" output="T"/>
  185.             <key code="18" output="!"/>
  186.             <key code="19" output="@"/>
  187.             <key code="20" output="&#x00a3;"/> <!-- pound -->
  188.             <key code="21" output="$"/>
  189.             <key code="22" output="^"/>
  190.             <key code="23" output="%"/>
  191.             <key code="24" action="+"/>
  192.             <key code="25" action="("/>
  193.             <key code="26" output="&#x0026;"/> <!-- ampersand -->
  194.             <key code="27" action="_"/>
  195.             <key code="28" action="*"/>
  196.             <key code="29" action=")"/>
  197.             <key code="30" output="}"/>
  198.             <key code="31" output="O"/>
  199.             <key code="32" output="U"/>
  200.             <key code="33" output="{"/>
  201.             <key code="34" output="I"/>
  202.             <key code="35" output="P"/>
  203.             <key code="36" output="&#x000d;"/>
  204.             <key code="37" output="L"/>
  205.             <key code="38" output="J"/>
  206.             <key code="39" output="&#x0022;"/> <!-- double quotes -->
  207.             <key code="40" output="K"/>
  208.             <key code="41" action=":"/>
  209.             <key code="42" action="|"/>
  210.             <key code="43" action="lt"/>
  211.             <key code="44" output="?"/>
  212.             <key code="45" output="N"/>
  213.             <key code="46" output="M"/>
  214.             <key code="47" action="gt"/>
  215.             <key code="48" output="&#x0009;"/>
  216.             <key code="49" output=" "/>
  217.             <key code="50" action="~"/>
  218.             <key code="51" output="&#x0008;"/>
  219.             <key code="52" output="&#x0003;"/>
  220.             <key code="53" output="&#x001b;"/>
  221.             <!-- gap, 54 through 64 -->
  222.             <key code="64" output="&#x0010;"/>
  223.             <key code="65" output="."/>
  224.             <key code="66" output="*"/>
  225.             <key code="67" output="*"/>
  226.             <!-- gap, 68 -->
  227.             <key code="69" output="+"/>
  228.             <key code="70" output="+"/>
  229.             <key code="71" output="&#x001b;"/>
  230.             <key code="72" output="="/>
  231.             <!-- gap, 73 through 74 -->
  232.             <key code="75" output="/"/>
  233.             <key code="76" output="&#x0003;"/>
  234.             <key code="77" output="/"/>
  235.             <key code="78" output="-"/>
  236.             <!-- gap, 79 through 80 -->
  237.             <key code="79" output="&#x0010;"/>
  238.             <key code="80" output="&#x0010;"/>
  239.             <key code="81" output="="/>
  240.             <key code="82" output="0"/>
  241.             <key code="83" output="1"/>
  242.             <key code="84" output="2"/>
  243.             <key code="85" output="3"/>
  244.             <key code="86" output="4"/>
  245.             <key code="87" output="5"/>
  246.             <key code="88" output="6"/>
  247.             <key code="89" output="7"/>
  248.             <!-- gap, 90 -->
  249.             <key code="91" output="8"/>
  250.             <key code="92" output="9"/>
  251.             <!-- gap, 93 through 95 -->
  252.             <key code="96" output="&#x0010;"/>
  253.             <key code="97" output="&#x0010;"/>
  254.             <key code="98" output="&#x0010;"/>
  255.             <key code="99" output="&#x0010;"/>
  256.             <key code="100" output="&#x0010;"/>
  257.             <key code="101" output="&#x0010;"/>
  258.             <key code="102" output="&#x0010;"/>
  259.             <key code="103" output="&#x0010;"/>
  260.             <key code="104" output="&#x0010;"/>
  261.             <key code="105" output="&#x0010;"/>
  262.             <key code="106" output="&#x0010;"/>
  263.             <key code="107" output="&#x0010;"/>
  264.             <key code="108" output="&#x0010;"/>
  265.             <key code="109" output="&#x0010;"/>
  266.             <key code="110" output="&#x0010;"/>
  267.             <key code="111" output="&#x0010;"/>
  268.             <key code="112" output="&#x0010;"/>
  269.             <key code="113" output="&#x0010;"/>
  270.             <key code="114" output="&#x0005;"/>
  271.             <key code="115" output="&#x0001;"/>
  272.             <key code="116" output="&#x000b;"/>
  273.             <key code="117" output="&#x007f;"/>
  274.             <key code="118" output="&#x0010;"/>
  275.             <key code="119" output="&#x0004;"/>
  276.             <key code="120" output="&#x0010;"/>
  277.             <key code="121" output="&#x000c;"/>
  278.             <key code="122" output="&#x0010;"/>
  279.             <key code="123" output="&#x001c;"/>
  280.             <key code="124" output="&#x001d;"/>
  281.             <key code="125" output="&#x001f;"/>
  282.             <key code="126" output="&#x001e;"/>
  283.         </keyMap>
  284.         <keyMap index="2">
  285.             <!-- caps -->
  286.             <key code="0" output="A"/>
  287.             <key code="1" output="S"/>
  288.             <key code="2" output="D"/>
  289.             <key code="3" output="F"/>
  290.             <key code="4" output="H"/>
  291.             <key code="5" output="G"/>
  292.             <key code="6" output="Z"/>
  293.             <key code="7" output="X"/>
  294.             <key code="8" output="C"/>
  295.             <key code="9" output="V"/>
  296.             <key code="10" output="§"/>
  297.             <key code="11" output="B"/>
  298.             <key code="12" output="Q"/>
  299.             <key code="13" output="W"/>
  300.             <key code="14" action="E"/>
  301.             <key code="15" output="R"/>
  302.             <key code="16" output="Y"/>
  303.             <key code="17" output="T"/>
  304.             <key code="18" output="1"/>
  305.             <key code="19" output="2"/>
  306.             <key code="20" output="3"/>
  307.             <key code="21" output="4"/>
  308.             <key code="22" output="6"/>
  309.             <key code="23" output="5"/>
  310.             <key code="24" action="="/>
  311.             <key code="25" output="9"/>
  312.             <key code="26" output="7"/>
  313.             <key code="27" action="-"/>
  314.             <key code="28" output="8"/>
  315.             <key code="29" action="0"/>
  316.             <key code="30" action="]"/>
  317.             <key code="31" output="O"/>
  318.             <key code="32" output="U"/>
  319.             <key code="33" action="["/>
  320.             <key code="34" output="I"/>
  321.             <key code="35" output="P"/>
  322.             <key code="36" output="&#x000d;"/>
  323.             <key code="37" output="L"/>
  324.             <key code="38" output="J"/>
  325.             <key code="39" output="'"/>
  326.             <key code="40" output="K"/>
  327.             <key code="41" output=";"/>
  328.             <key code="42" action="bslash"/>
  329.             <key code="43" output=","/>
  330.             <key code="44" action="slash"/>
  331.             <key code="45" output="N"/>
  332.             <key code="46" output="M"/>
  333.             <key code="47" action="."/>
  334.             <key code="48" output="&#x0009;"/>
  335.             <key code="49" output=" "/>
  336.             <key code="50" action="`"/>
  337.             <key code="51" action="backspace"/>
  338.             <key code="52" output="&#x0003;"/>
  339.             <key code="53" output="&#x001b;"/>
  340.             <!-- gap, 54 through 64 -->
  341.             <key code="64" output="&#x0010;"/>
  342.             <key code="65" output="."/>
  343.             <key code="66" output="&#x001d;"/>
  344.             <key code="67" output="*"/>
  345.             <!-- gap, 68 -->
  346.             <key code="69" output="+"/>
  347.             <key code="70" output="&#x001c;"/>
  348.             <key code="71" output="&#x001b;"/>
  349.             <key code="72" output="&#x001f;"/>
  350.             <!-- gap, 73 through 74 -->
  351.             <key code="75" output="/"/>
  352.             <key code="76" output="&#x0003;"/>
  353.             <key code="77" output="&#x001e;"/>
  354.             <key code="78" output="-"/>
  355.             <!-- gap, 79 through 80 -->
  356.             <key code="79" output="&#x0010;"/>
  357.             <key code="80" output="&#x0010;"/>
  358.             <key code="81" output="="/>
  359.             <key code="82" output="0"/>
  360.             <key code="83" output="1"/>
  361.             <key code="84" output="2"/>
  362.             <key code="85" output="3"/>
  363.             <key code="86" output="4"/>
  364.             <key code="87" output="5"/>
  365.             <key code="88" output="6"/>
  366.             <key code="89" output="7"/>
  367.             <!-- gap, 90 -->
  368.             <key code="91" output="8"/>
  369.             <key code="92" output="9"/>
  370.             <!-- gap, 93 through 95 -->
  371.             <key code="96" output="&#x0010;"/>
  372.             <key code="97" output="&#x0010;"/>
  373.             <key code="98" output="&#x0010;"/>
  374.             <key code="99" output="&#x0010;"/>
  375.             <key code="100" output="&#x0010;"/>
  376.             <key code="101" output="&#x0010;"/>
  377.             <key code="102" output="&#x0010;"/>
  378.             <key code="103" output="&#x0010;"/>
  379.             <key code="104" output="&#x0010;"/>
  380.             <key code="105" output="&#x0010;"/>
  381.             <key code="106" output="&#x0010;"/>
  382.             <key code="107" output="&#x0010;"/>
  383.             <key code="108" output="&#x0010;"/>
  384.             <key code="109" output="&#x0010;"/>
  385.             <key code="110" output="&#x0010;"/>
  386.             <key code="111" output="&#x0010;"/>
  387.             <key code="112" output="&#x0010;"/>
  388.             <key code="113" output="&#x0010;"/>
  389.             <key code="114" output="&#x0005;"/>
  390.             <key code="115" output="&#x0001;"/>
  391.             <key code="116" output="&#x000b;"/>
  392.             <key code="117" output="&#x007f;"/>
  393.             <key code="118" output="&#x0010;"/>
  394.             <key code="119" output="&#x0004;"/>
  395.             <key code="120" output="&#x0010;"/>
  396.             <key code="121" output="&#x000c;"/>
  397.             <key code="122" output="&#x0010;"/>
  398.             <key code="123" output="&#x001c;"/>
  399.             <key code="124" output="&#x001d;"/>
  400.             <key code="125" output="&#x001f;"/>
  401.             <key code="126" output="&#x001e;"/>
  402.         </keyMap>
  403.         <keyMap index="3">
  404.             <!-- option -->
  405.             <key code="0" output="α"/>
  406.             <key code="1" output="σ"/>
  407.             <key code="2" output="δ"/>
  408.             <key code="3" output="φ"/>
  409.             <key code="4" output="η"/>
  410.             <key code="5" output="γ"/>
  411.             <key code="6" output="ζ"/>
  412.             <key code="7" output="ξ"/>
  413.             <key code="8" output="χ"/>
  414.             <key code="9" output="√"/>
  415.             <!-- gap, 10 -->
  416.             <key code="10" output="¶"/>
  417.             <key code="11" output="β"/>
  418.             <key code="12" output="q"/>
  419.             <key code="13" output="ω"/>
  420.             <key code="14" output="ε"/>
  421.             <key code="15" output="ρ"/>
  422.             <key code="16" output="ψ"/>
  423.             <key code="17" output="τ"/>
  424.             <key code="18" output="¡"/>
  425.             <key code="19" output="€"/>
  426.             <key code="20" output="#"/>
  427.             <key code="21" output="¢"/>
  428.             <key code="22" output="↑"/>
  429.             <key code="23" output="5"/>
  430.             <key code="24" action="alt ="/>
  431.             <key code="25" output="∞"/>
  432.             <key code="26" output="↓"/>
  433.             <key code="27" action="alt -"/>
  434.             <key code="28" action="alt 8"/>
  435.             <key code="29" action="alt 0"/>
  436.             <key code="30" action="alt ]"/>
  437.             <key code="31" output="θ"/>
  438.             <key code="32" output="υ"/>
  439.             <key code="33" action="alt ["/>
  440.             <key code="34" output="ι"/>
  441.             <key code="35" output="π"/>
  442.             <key code="36" output="&#x000d;"/>
  443.             <key code="37" output="λ"/>
  444.             <key code="38" output="j"/>
  445.             <key code="39" output="”"/>
  446.             <key code="40" output="κ"/>
  447.             <key code="41" output="…"/>
  448.             <key code="42" action="alt bslash"/>
  449.             <key code="43" output="．"/>
  450.             <key code="44" action="alt slash"/>
  451.             <key code="45" output="ν"/>
  452.             <key code="46" output="μ"/>
  453.             <key code="47" action="alt ."/>
  454.             <key code="48" output="&#x0009;"/>
  455.             <key code="49" output="&#x00a0;"/>
  456.             <key code="50" action="alt `"/>
  457.             <key code="51" action="backspace"/>
  458.             <key code="52" output="&#x0003;"/>
  459.             <key code="53" output="&#x001b;"/>
  460.             <!-- gap, 54 through 64 -->
  461.             <key code="64" output="&#x0010;"/>
  462.             <key code="65" output="."/>
  463.             <key code="66" output="&#x001d;"/>
  464.             <key code="67" output="*"/>
  465.             <!-- gap, 68 -->
  466.             <key code="69" output="+"/>
  467.             <key code="70" output="&#x001c;"/>
  468.             <key code="71" output="&#x001b;"/>
  469.             <key code="72" output="&#x001f;"/>
  470.             <!-- gap, 73 through 74 -->
  471.             <key code="75" output="/"/>
  472.             <key code="76" output="&#x0003;"/>
  473.             <key code="77" output="&#x001e;"/>
  474.             <key code="78" output="-"/>
  475.             <!-- gap, 79 through 80 -->
  476.             <key code="79" output="&#x0010;"/>
  477.             <key code="80" output="&#x0010;"/>
  478.             <key code="81" output="="/>
  479.             <key code="82" output="0"/>
  480.             <key code="83" output="1"/>
  481.             <key code="84" output="2"/>
  482.             <key code="85" output="3"/>
  483.             <key code="86" output="4"/>
  484.             <key code="87" output="5"/>
  485.             <key code="88" output="6"/>
  486.             <key code="89" output="7"/>
  487.             <!-- gap, 90 -->
  488.             <key code="91" output="8"/>
  489.             <key code="92" output="9"/>
  490.             <!-- gap, 93 through 95 -->
  491.             <key code="96" output="&#x0010;"/>
  492.             <key code="97" output="&#x0010;"/>
  493.             <key code="98" output="&#x0010;"/>
  494.             <key code="99" output="&#x0010;"/>
  495.             <key code="100" output="&#x0010;"/>
  496.             <key code="101" output="&#x0010;"/>
  497.             <key code="102" output="&#x0010;"/>
  498.             <key code="103" output="&#x0010;"/>
  499.             <key code="104" output="&#x0010;"/>
  500.             <key code="105" output="&#x0010;"/>
  501.             <key code="106" output="&#x0010;"/>
  502.             <key code="107" output="&#x0010;"/>
  503.             <key code="108" output="&#x0010;"/>
  504.             <key code="109" output="&#x0010;"/>
  505.             <key code="110" output="&#x0010;"/>
  506.             <key code="111" output="&#x0010;"/>
  507.             <key code="112" output="&#x0010;"/>
  508.             <key code="113" output="&#x0010;"/>
  509.             <key code="114" output="&#x0005;"/>
  510.             <key code="115" output="&#x0001;"/>
  511.             <key code="116" output="&#x000b;"/>
  512.             <key code="117" output="&#x007f;"/>
  513.             <key code="118" output="&#x0010;"/>
  514.             <key code="119" output="&#x0004;"/>
  515.             <key code="120" output="&#x0010;"/>
  516.             <key code="121" output="&#x000c;"/>
  517.             <key code="122" output="&#x0010;"/>
  518.             <key code="123" output="&#x001c;"/>
  519.             <key code="124" output="&#x001d;"/>
  520.             <key code="125" output="&#x001f;"/>
  521.             <key code="126" output="&#x001e;"/>
  522.         </keyMap>
  523.         <keyMap index="4">
  524.             <!-- shift + option -->
  525.             <key code="0" output="∀"/>
  526.             <key code="1" output="Σ"/>
  527.             <key code="2" output="Δ"/>
  528.             <key code="3" output="Φ"/>
  529.             <key code="4" output="H"/>
  530.             <key code="5" output="Γ"/>
  531.             <key code="6" output="ℤ"/>
  532.             <key code="7" output="Ξ"/>
  533.             <key code="8" output="ℂ"/>
  534.             <key code="9" output="∇"/>
  535.             <!-- gap, 10 -->
  536.             <key code="10" output="°"/>
  537.             <key code="11" output="∵"/>
  538.             <key code="12" output="ℚ"/>
  539.             <key code="13" output="Ω"/>
  540.             <key code="14" action="alt E"/>
  541.             <key code="15" output="ℝ"/>
  542.             <key code="16" output="Ψ"/>
  543.             <key code="17" output="∴"/>
  544.             <key code="18" output="!"/>
  545.             <key code="19" output="²"/>
  546.             <key code="20" output="³"/>
  547.             <key code="21" output="$"/>
  548.             <key code="22" output="⇑"/>
  549.             <key code="23" output="%"/>
  550.             <key code="24" action="alt +"/>
  551.             <key code="25" action="alt ("/>
  552.             <key code="26" output="⇓"/>
  553.             <key code="27" action="alt _"/>
  554.             <key code="28" action="alt *"/>
  555.             <key code="29" action="alt )"/>
  556.             <key code="30" output="⌉"/>
  557.             <key code="31" output="Θ"/>
  558.             <key code="32" output="∪"/>
  559.             <key code="33" output="⌈"/>
  560.             <key code="34" action="alt I"/>
  561.             <key code="35" output="&#x03A0;"/>
  562.             <key code="36" output="&#x000d;"/>
  563.             <key code="37" output="Λ"/>
  564.             <key code="38" output="J"/>
  565.             <key code="39" output="&#x0022;"/>
  566.             <key code="40" output="K"/>
  567.             <key code="41" action="alt :"/>
  568.             <key code="42" action="alt |"/>
  569.             <key code="43" action="alt lt"/>
  570.             <key code="44" output="÷"/>
  571.             <key code="45" output="ℕ"/>
  572.             <key code="46" output="M"/>
  573.             <key code="47" action="alt gt"/>
  574.             <key code="48" output="&#x0009;"/>
  575.             <key code="49" output="&#x00a0;"/>
  576.             <key code="50" action="alt ~"/>
  577.             <key code="51" action="backspace"/>
  578.             <key code="52" output="&#x0003;"/>
  579.             <key code="53" output="&#x001b;"/>
  580.             <!-- gap, 54 through 64 -->
  581.             <key code="64" output="&#x0010;"/>
  582.             <key code="65" output="."/>
  583.             <key code="66" output="*"/>
  584.             <key code="67" output="*"/>
  585.             <!-- gap, 68 -->
  586.             <key code="69" output="+"/>
  587.             <key code="70" output="+"/>
  588.             <key code="71" output="&#x001b;"/>
  589.             <key code="72" output="="/>
  590.             <!-- gap, 73 through 74 -->
  591.             <key code="75" output="/"/>
  592.             <key code="76" output="&#x0003;"/>
  593.             <key code="77" output="/"/>
  594.             <key code="78" output="-"/>
  595.             <!-- gap, 79 through 80 -->
  596.             <key code="79" output="&#x0010;"/>
  597.             <key code="80" output="&#x0010;"/>
  598.             <key code="81" output="="/>
  599.             <key code="82" output="0"/>
  600.             <key code="83" output="1"/>
  601.             <key code="84" output="2"/>
  602.             <key code="85" output="3"/>
  603.             <key code="86" output="4"/>
  604.             <key code="87" output="5"/>
  605.             <key code="88" output="6"/>
  606.             <key code="89" output="7"/>
  607.             <!-- gap, 90 -->
  608.             <key code="91" output="8"/>
  609.             <key code="92" output="9"/>
  610.             <!-- gap, 93 through 95 -->
  611.             <key code="96" output="&#x0010;"/>
  612.             <key code="97" output="&#x0010;"/>
  613.             <key code="98" output="&#x0010;"/>
  614.             <key code="99" output="&#x0010;"/>
  615.             <key code="100" output="&#x0010;"/>
  616.             <key code="101" output="&#x0010;"/>
  617.             <key code="102" output="&#x0010;"/>
  618.             <key code="103" output="&#x0010;"/>
  619.             <key code="104" output="&#x0010;"/>
  620.             <key code="105" output="&#x0010;"/>
  621.             <key code="106" output="&#x0010;"/>
  622.             <key code="107" output="&#x0010;"/>
  623.             <key code="108" output="&#x0010;"/>
  624.             <key code="109" output="&#x0010;"/>
  625.             <key code="110" output="&#x0010;"/>
  626.             <key code="111" output="&#x0010;"/>
  627.             <key code="112" output="&#x0010;"/>
  628.             <key code="113" output="&#x0010;"/>
  629.             <key code="114" output="&#x0005;"/>
  630.             <key code="115" output="&#x0001;"/>
  631.             <key code="116" output="&#x000b;"/>
  632.             <key code="117" output="&#x007f;"/>
  633.             <key code="118" output="&#x0010;"/>
  634.             <key code="119" output="&#x0004;"/>
  635.             <key code="120" output="&#x0010;"/>
  636.             <key code="121" output="&#x000c;"/>
  637.             <key code="122" output="&#x0010;"/>
  638.             <key code="123" output="&#x001c;"/>
  639.             <key code="124" output="&#x001d;"/>
  640.             <key code="125" output="&#x001f;"/>
  641.             <key code="126" output="&#x001e;"/>
  642.         </keyMap>
  643.         <keyMap index="5">
  644.             <!-- option + caps -->
  645.             <key code="0" output="α"/>
  646.             <key code="1" output="σ"/>
  647.             <key code="2" output="δ"/>
  648.             <key code="3" output="φ"/>
  649.             <key code="4" output="η"/>
  650.             <key code="5" output="γ"/>
  651.             <key code="6" output="ζ"/>
  652.             <key code="7" output="ξ"/>
  653.             <key code="8" output="χ"/>
  654.             <key code="9" output="√"/>
  655.             <!-- gap, 10 -->
  656.             <key code="10" output="¶"/>
  657.             <key code="11" output="β"/>
  658.             <key code="12" output="q"/>
  659.             <key code="13" output="ω"/>
  660.             <key code="14" output="ε"/>
  661.             <key code="15" output="ρ"/>
  662.             <key code="16" output="ψ"/>
  663.             <key code="17" output="τ"/>
  664.             <key code="18" output="¡"/>
  665.             <key code="19" output="€"/>
  666.             <key code="20" output="#"/>
  667.             <key code="21" output="¢"/>
  668.             <key code="22" output="↑"/>
  669.             <key code="23" output="5"/>
  670.             <key code="24" action="alt ="/>
  671.             <key code="25" output="∞"/>
  672.             <key code="26" output="↓"/>
  673.             <key code="27" action="alt -"/>
  674.             <key code="28" action="alt 8"/>
  675.             <key code="29" action="alt 0"/>
  676.             <key code="30" action="alt ]"/>
  677.             <key code="31" output="θ"/>
  678.             <key code="32" output="υ"/>
  679.             <key code="33" action="alt ["/>
  680.             <key code="34" output="ι"/>
  681.             <key code="35" output="π"/>
  682.             <key code="36" output="&#x000d;"/>
  683.             <key code="37" output="λ"/>
  684.             <key code="38" output="j"/>
  685.             <key code="39" output="”"/>
  686.             <key code="40" output="κ"/>
  687.             <key code="41" output="…"/>
  688.             <key code="42" action="alt bslash"/>
  689.             <key code="43" output="．"/>
  690.             <key code="44" action="alt slash"/>
  691.             <key code="45" output="ν"/>
  692.             <key code="46" output="μ"/>
  693.             <key code="47" action="alt ."/>
  694.             <key code="48" output="&#x0009;"/>
  695.             <key code="49" output="&#x00a0;"/>
  696.             <key code="50" action="alt `"/>
  697.             <key code="51" action="backspace"/>
  698.             <key code="52" output="&#x0003;"/>
  699.             <key code="53" output="&#x001b;"/>
  700.             <!-- gap, 54 through 64 -->
  701.             <key code="64" output="&#x0010;"/>
  702.             <key code="65" output="."/>
  703.             <key code="66" output="&#x001d;"/>
  704.             <key code="67" output="*"/>
  705.             <!-- gap, 68 -->
  706.             <key code="69" output="+"/>
  707.             <key code="70" output="&#x001c;"/>
  708.             <key code="71" output="&#x001b;"/>
  709.             <key code="72" output="&#x001f;"/>
  710.             <!-- gap, 73 through 74 -->
  711.             <key code="75" output="/"/>
  712.             <key code="76" output="&#x0003;"/>
  713.             <key code="77" output="&#x001e;"/>
  714.             <key code="78" output="-"/>
  715.             <!-- gap, 79 through 80 -->
  716.             <key code="79" output="&#x0010;"/>
  717.             <key code="80" output="&#x0010;"/>
  718.             <key code="81" output="="/>
  719.             <key code="82" output="0"/>
  720.             <key code="83" output="1"/>
  721.             <key code="84" output="2"/>
  722.             <key code="85" output="3"/>
  723.             <key code="86" output="4"/>
  724.             <key code="87" output="5"/>
  725.             <key code="88" output="6"/>
  726.             <key code="89" output="7"/>
  727.             <!-- gap, 90 -->
  728.             <key code="91" output="8"/>
  729.             <key code="92" output="9"/>
  730.             <!-- gap, 93 through 95 -->
  731.             <key code="96" output="&#x0010;"/>
  732.             <key code="97" output="&#x0010;"/>
  733.             <key code="98" output="&#x0010;"/>
  734.             <key code="99" output="&#x0010;"/>
  735.             <key code="100" output="&#x0010;"/>
  736.             <key code="101" output="&#x0010;"/>
  737.             <key code="102" output="&#x0010;"/>
  738.             <key code="103" output="&#x0010;"/>
  739.             <key code="104" output="&#x0010;"/>
  740.             <key code="105" output="&#x0010;"/>
  741.             <key code="106" output="&#x0010;"/>
  742.             <key code="107" output="&#x0010;"/>
  743.             <key code="108" output="&#x0010;"/>
  744.             <key code="109" output="&#x0010;"/>
  745.             <key code="110" output="&#x0010;"/>
  746.             <key code="111" output="&#x0010;"/>
  747.             <key code="112" output="&#x0010;"/>
  748.             <key code="113" output="&#x0010;"/>
  749.             <key code="114" output="&#x0005;"/>
  750.             <key code="115" output="&#x0001;"/>
  751.             <key code="116" output="&#x000b;"/>
  752.             <key code="117" output="&#x007f;"/>
  753.             <key code="118" output="&#x0010;"/>
  754.             <key code="119" output="&#x0004;"/>
  755.             <key code="120" output="&#x0010;"/>
  756.             <key code="121" output="&#x000c;"/>
  757.             <key code="122" output="&#x0010;"/>
  758.             <key code="123" output="&#x001c;"/>
  759.             <key code="124" output="&#x001d;"/>
  760.             <key code="125" output="&#x001f;"/>
  761.             <key code="126" output="&#x001e;"/>
  762.         </keyMap>
  763.         <keyMap index="6">
  764.             <!-- option + cmd -->
  765.             <key code="0" output="&#x00e5;"/>
  766.             <key code="1" output="&#x00df;"/>
  767.             <key code="2" output="&#x2202;"/>
  768.             <key code="3" output="&#x0192;"/>
  769.             <key code="4" output="&#x02d9;"/>
  770.             <key code="5" output="&#x00a9;"/>
  771.             <key code="6" output="&#x03a9;"/>
  772.             <key code="7" output="&#x2248;"/>
  773.             <key code="8" output="&#x00e7;"/>
  774.             <key code="9" output="&#x221a;"/>
  775.             <key code="10" output="&#x00b0;"/>
  776.             <key code="11" output="&#x222b;"/>
  777.             <key code="12" output="&#x0153;"/>
  778.             <key code="13" output="&#x2211;"/>
  779.             <key code="14" output="&#x00b4;"/>
  780.             <key code="15" output="&#x00ae;"/>
  781.             <key code="16" output="&#x00a5;"/>
  782.             <key code="17" output="&#x2020;"/>
  783.             <key code="18" output="&#x00a1;"/>
  784.             <key code="19" output="&#x20ac;"/>
  785.             <key code="20" output="&#x00a3;"/>
  786.             <key code="21" output="&#x00a2;"/>
  787.             <key code="22" output="&#x00a7;"/>
  788.             <key code="23" output="&#x221e;"/>
  789.             <key code="24" output="&#x2260;"/>
  790.             <key code="25" output="&#x00aa;"/>
  791.             <key code="26" output="&#x00b6;"/>
  792.             <key code="27" output="&#x2013;"/>
  793.             <key code="28" output="&#x2022;"/>
  794.             <key code="29" output="&#x00ba;"/>
  795.             <key code="30" output="&#x2018;"/>
  796.             <key code="31" output="&#x00f8;"/>
  797.             <key code="32" output="&#x00a8;"/>
  798.             <key code="33" output="&#x201c;"/>
  799.             <key code="34" output="^"/>
  800.             <key code="35" output="&#x03c0;"/>
  801.             <key code="36" output="&#x000d;"/>
  802.             <key code="37" output="&#x00ac;"/>
  803.             <key code="38" output="&#x2206;"/>
  804.             <key code="39" output="&#x00e6;"/>
  805.             <key code="40" output="&#x02da;"/>
  806.             <key code="41" output="&#x2026;"/>
  807.             <key code="42" output="&#x00ab;"/>
  808.             <key code="43" output="&#x2264;"/>
  809.             <key code="44" output="&#x00f7;"/>
  810.             <key code="45" output="~"/>
  811.             <key code="46" output="&#x00b5;"/>
  812.             <key code="47" output="&#x2265;"/>
  813.             <key code="48" output="&#x0009;"/>
  814.             <key code="49" output="&#x00a0;"/>
  815.             <key code="50" output="`"/>
  816.             <key code="51" output="&#x0008;"/>
  817.             <key code="52" output="&#x0003;"/>
  818.             <key code="53" output="&#x001b;"/>
  819.             <!-- gap, 54 through 64 -->
  820.             <key code="64" output="&#x0010;"/>
  821.             <key code="65" output="."/>
  822.             <key code="66" output="&#x001d;"/>
  823.             <key code="67" output="*"/>
  824.             <!-- gap, 68 -->
  825.             <key code="69" output="+"/>
  826.             <key code="70" output="&#x001c;"/>
  827.             <key code="71" output="&#x001b;"/>
  828.             <key code="72" output="&#x001f;"/>
  829.             <!-- gap, 73 through 74 -->
  830.             <key code="75" output="/"/>
  831.             <key code="76" output="&#x0003;"/>
  832.             <key code="77" output="&#x001e;"/>
  833.             <key code="78" output="-"/>
  834.             <!-- gap, 79 through 80 -->
  835.             <key code="79" output="&#x0010;"/>
  836.             <key code="80" output="&#x0010;"/>
  837.             <key code="81" output="="/>
  838.             <key code="82" output="0"/>
  839.             <key code="83" output="1"/>
  840.             <key code="84" output="2"/>
  841.             <key code="85" output="3"/>
  842.             <key code="86" output="4"/>
  843.             <key code="87" output="5"/>
  844.             <key code="88" output="6"/>
  845.             <key code="89" output="7"/>
  846.             <!-- gap, 90 -->
  847.             <key code="91" output="8"/>
  848.             <key code="92" output="9"/>
  849.             <!-- gap, 93 through 95 -->
  850.             <key code="96" output="&#x0010;"/>
  851.             <key code="97" output="&#x0010;"/>
  852.             <key code="98" output="&#x0010;"/>
  853.             <key code="99" output="&#x0010;"/>
  854.             <key code="100" output="&#x0010;"/>
  855.             <key code="101" output="&#x0010;"/>
  856.             <key code="102" output="&#x0010;"/>
  857.             <key code="103" output="&#x0010;"/>
  858.             <key code="104" output="&#x0010;"/>
  859.             <key code="105" output="&#x0010;"/>
  860.             <key code="106" output="&#x0010;"/>
  861.             <key code="107" output="&#x0010;"/>
  862.             <key code="108" output="&#x0010;"/>
  863.             <key code="109" output="&#x0010;"/>
  864.             <key code="110" output="&#x0010;"/>
  865.             <key code="111" output="&#x0010;"/>
  866.             <key code="112" output="&#x0010;"/>
  867.             <key code="113" output="&#x0010;"/>
  868.             <key code="114" output="&#x0005;"/>
  869.             <key code="115" output="&#x0001;"/>
  870.             <key code="116" output="&#x000b;"/>
  871.             <key code="117" output="&#x007f;"/>
  872.             <key code="118" output="&#x0010;"/>
  873.             <key code="119" output="&#x0004;"/>
  874.             <key code="120" output="&#x0010;"/>
  875.             <key code="121" output="&#x000c;"/>
  876.             <key code="122" output="&#x0010;"/>
  877.             <key code="123" output="&#x001c;"/>
  878.             <key code="124" output="&#x001d;"/>
  879.             <key code="125" output="&#x001f;"/>
  880.             <key code="126" output="&#x001e;"/>
  881.         </keyMap>
  882.         <keyMap index="7">
  883.             <!-- ctrl -->
  884.             <key code="0" output="&#x0001;"/>
  885.             <key code="1" output="&#x0013;"/>
  886.             <key code="2" output="&#x0004;"/>
  887.             <key code="3" output="&#x0006;"/>
  888.             <key code="4" output="&#x0008;"/>
  889.             <key code="5" output="&#x0007;"/>
  890.             <key code="6" output="&#x001a;"/>
  891.             <key code="7" output="&#x0018;"/>
  892.             <key code="8" output="&#x0003;"/>
  893.             <key code="9" output="&#x0016;"/>
  894.             <key code="10" output="`"/>
  895.             <key code="11" output="&#x0002;"/>
  896.             <key code="12" output="&#x0011;"/>
  897.             <key code="13" output="&#x0017;"/>
  898.             <key code="14" output="&#x0005;"/>
  899.             <key code="15" output="&#x0012;"/>
  900.             <key code="16" output="&#x0019;"/>
  901.             <key code="17" output="&#x0014;"/>
  902.             <key code="18" output="1"/>
  903.             <key code="19" output="2"/>
  904.             <key code="20" output="3"/>
  905.             <key code="21" output="4"/>
  906.             <key code="22" output="6"/>
  907.             <key code="23" output="5"/>
  908.             <key code="24" output="="/>
  909.             <key code="25" output="9"/>
  910.             <key code="26" output="7"/>
  911.             <key code="27" output="&#x001f;"/>
  912.             <key code="28" output="8"/>
  913.             <key code="29" output="0"/>
  914.             <key code="30" output="&#x001d;"/>
  915.             <key code="31" output="&#x000f;"/>
  916.             <key code="32" output="&#x0015;"/>
  917.             <key code="33" output="&#x001b;"/>
  918.             <key code="34" output="&#x0009;"/>
  919.             <key code="35" output="&#x0010;"/>
  920.             <key code="36" output="&#x000d;"/>
  921.             <key code="37" output="&#x000c;"/>
  922.             <key code="38" output="&#x000a;"/>
  923.             <key code="39" output="&#x0022;"/>
  924.             <key code="40" output="&#x000b;"/>
  925.             <key code="41" output=":"/>
  926.             <key code="42" output="&#x001c;"/>
  927.             <key code="43" output=","/>
  928.             <key code="44" output="/"/>
  929.             <key code="45" output="&#x000e;"/>
  930.             <key code="46" output="&#x000d;"/>
  931.             <key code="47" output="."/>
  932.             <key code="48" output="&#x0009;"/>
  933.             <key code="49" output=" "/>
  934.             <key code="50" output="`"/>
  935.             <key code="51" output="&#x0008;"/>
  936.             <key code="52" output="&#x0003;"/>
  937.             <key code="53" output="&#x001b;"/>
  938.             <!-- gap, 54 through 64 -->
  939.             <key code="64" output="&#x0010;"/>
  940.             <key code="65" output="."/>
  941.             <key code="66" output="&#x001d;"/>
  942.             <key code="67" output="*"/>
  943.             <!-- gap, 68 -->
  944.             <key code="69" output="+"/>
  945.             <key code="70" output="&#x001c;"/>
  946.             <key code="71" output="&#x001b;"/>
  947.             <key code="72" output="&#x001f;"/>
  948.             <!-- gap, 73 through 74 -->
  949.             <key code="75" output="/"/>
  950.             <key code="76" output="&#x0003;"/>
  951.             <key code="77" output="&#x001e;"/>
  952.             <key code="78" output="-"/>
  953.             <!-- gap, 79 through 80 -->
  954.             <key code="79" output="&#x0010;"/>
  955.             <key code="80" output="&#x0010;"/>
  956.             <key code="81" output="="/>
  957.             <key code="82" output="0"/>
  958.             <key code="83" output="1"/>
  959.             <key code="84" output="2"/>
  960.             <key code="85" output="3"/>
  961.             <key code="86" output="4"/>
  962.             <key code="87" output="5"/>
  963.             <key code="88" output="6"/>
  964.             <key code="89" output="7"/>
  965.             <!-- gap, 90 -->
  966.             <key code="91" output="8"/>
  967.             <key code="92" output="9"/>
  968.             <!-- gap, 93 through 95 -->
  969.             <key code="96" output="&#x0010;"/>
  970.             <key code="97" output="&#x0010;"/>
  971.             <key code="98" output="&#x0010;"/>
  972.             <key code="99" output="&#x0010;"/>
  973.             <key code="100" output="&#x0010;"/>
  974.             <key code="101" output="&#x0010;"/>
  975.             <key code="102" output="&#x0010;"/>
  976.             <key code="103" output="&#x0010;"/>
  977.             <key code="104" output="&#x0010;"/>
  978.             <key code="105" output="&#x0010;"/>
  979.             <key code="106" output="&#x0010;"/>
  980.             <key code="107" output="&#x0010;"/>
  981.             <key code="108" output="&#x0010;"/>
  982.             <key code="109" output="&#x0010;"/>
  983.             <key code="110" output="&#x0010;"/>
  984.             <key code="111" output="&#x0010;"/>
  985.             <key code="112" output="&#x0010;"/>
  986.             <key code="113" output="&#x0010;"/>
  987.             <key code="114" output="&#x0005;"/>
  988.             <key code="115" output="&#x0001;"/>
  989.             <key code="116" output="&#x000b;"/>
  990.             <key code="117" output="&#x007f;"/>
  991.             <key code="118" output="&#x0010;"/>
  992.             <key code="119" output="&#x0004;"/>
  993.             <key code="120" output="&#x0010;"/>
  994.             <key code="121" output="&#x000c;"/>
  995.             <key code="122" output="&#x0010;"/>
  996.             <key code="123" output="&#x001c;"/>
  997.             <key code="124" output="&#x001d;"/>
  998.             <key code="125" output="&#x001f;"/>
  999.             <key code="126" output="&#x001e;"/>
  1000.         </keyMap>
  1001.     </keyMapSet>
  1002.     <actions>
  1003.       <!-- Johnny's clever bugga fix -->
  1004.       <action id="backspace">
  1005.         <when state="none"   output="&#x0008;"/>
  1006.         <when state="_"      output=""/>
  1007.         <when state="-"      output=""/>
  1008.         <when state="--"     output=""/>
  1009.         <when state="lt"     output=""/>
  1010.         <when state="lt-"    output=""/>
  1011.         <when state="o"      output=""/>
  1012.         <when state="|"      output=""/>
  1013.         <when state="||"     output=""/>
  1014.         <when state="|-"     output=""/>
  1015.         <when state="fslash" output=""/>
  1016.         <when state="lt="    output=""/>
  1017.         <when state="="      output=""/>
  1018.         <when state="lt=="   output=""/>
  1019.         <when state="~"      output=""/>
  1020.         <when state="lt--"   output=""/>
  1021.         <when state="|--"    output=""/>
  1022.         <when state="|="     output=""/>
  1023.         <when state="|=="    output=""/>
  1024.         <when state="=="     output=""/>
  1025.       </action>
  1026.         <action id="lt">
  1027.             <when state="none" output="&#x003c;"/>
  1028.             <when state="_" output="≤"/>
  1029.         </action>
  1030.         <action id="alt lt">
  1031.             <when state="none" next="lt"/>
  1032.             <when state="_" output="≤"/>
  1033.         </action>
  1034.         <action id="*">
  1035.             <when state="none" output="*"/>
  1036.             <when state="o" output="⊛"/>
  1037.         </action>
  1038.         <action id="alt *">
  1039.             <when state="none" output="∗"/>
  1040.             <when state="o" output="⊛"/>
  1041.         </action>
  1042.         <action id="(">
  1043.             <when state="none" output="("/>
  1044.             <when state="_" output="⊆"/>
  1045.         </action>
  1046.         <action id="alt (">
  1047.             <when state="none" output="⊂"/>
  1048.             <when state="_" output="⊆"/>
  1049.         </action>
  1050.         <action id=")">
  1051.             <when state="none" output=")"/>
  1052.             <when state="_" output="⊇"/>
  1053.         </action>
  1054.         <action id="alt )">
  1055.             <when state="none" output="⊃"/>
  1056.             <when state="_" output="⊇"/>
  1057.         </action>
  1058.         <action id="+">
  1059.             <when state="none" output="+"/>
  1060.             <when state="o" output="⊕"/>
  1061.         </action>
  1062.         <action id="alt +">
  1063.             <when state="none" output="≝"/>
  1064.             <when state="o" output="⊕"/>
  1065.         </action>
  1066.         <action id="-">
  1067.             <when state="none" output="-"/>
  1068.             <when state="-" output="–"/>
  1069.             <when state="--" output="—"/>
  1070.             <when state="lt" output="←"/>
  1071.             <when state="lt-" output="⟵"/>
  1072.             <when state="o" output="⊖"/>
  1073.             <when state="|" output="⊦"/>
  1074.             <when state="||" output="⊩"/>
  1075.         </action>
  1076.         <action id="alt -">
  1077.             <when state="none" next="-"/>
  1078.             <when state="-" next="--"/>
  1079.             <when state="--" output="—"/>
  1080.             <when state="lt" next="lt-"/>
  1081.             <when state="lt-" next="lt--"/>
  1082.             <when state="|" next="|-"/>
  1083.             <when state="o" output="⊖"/>
  1084.             <when state="|-" next="|--"/>
  1085.             <when state="||" output="⊩"/>
  1086.         </action>
  1087.         <action id="0">
  1088.             <when state="none" output="0"/>
  1089.             <when state="fslash" output="∅"/>
  1090.         </action>
  1091.         <action id="alt 0">
  1092.             <when state="none" next="o"/>
  1093.             <when state="fslash" output="∅"/>
  1094.         </action>
  1095.         <action id="=">
  1096.             <when state="none" output="="/>
  1097.             <when state="=" output="≡"/>
  1098.             <when state="fslash" output="≠"/>
  1099.             <when state="lt" output="⇐"/>
  1100.             <when state="lt=" output="⟸"/>
  1101.             <when state="|" output="⊧"/>
  1102.         </action>
  1103.         <action id="alt =">
  1104.             <when state="none" next="="/>
  1105.             <when state="=" next="=="/>
  1106.             <when state="fslash" output="≠"/>
  1107.             <when state="lt" next="lt="/>
  1108.             <when state="lt=" next="lt=="/>
  1109.             <when state="|" next="|="/>
  1110.             <when state="|=" next="|=="/>
  1111.         </action>
  1112.         <action id="E">
  1113.             <when state="none" output="E"/>
  1114.             <when state="fslash" output="∄"/>
  1115.         </action>
  1116.         <action id="alt E">
  1117.             <when state="none" output="∃"/>
  1118.             <when state="fslash" output="∄"/>
  1119.         </action>
  1120.         <action id="alt I">
  1121.           <when state="none" output="∩"/>
  1122.           <when state="fslash" output="⫛"/>
  1123.         </action>
  1124.         <action id="[">
  1125.             <when state="none" output="["/>
  1126.             <when state="|" output="⟦"/>
  1127.         </action>
  1128.         <action id="alt [">
  1129.             <when state="none" output="⌊"/>
  1130.             <when state="|" output="⟦"/>
  1131.         </action>
  1132.         <action id="]">
  1133.             <when state="none" output="]"/>
  1134.             <when state="|" output="⟧"/>
  1135.         </action>
  1136.         <action id="alt ]">
  1137.             <when state="none" output="⌋"/>
  1138.             <when state="|" output="⟧"/>
  1139.         </action>
  1140.         <action id="_">
  1141.             <when state="none" output="_"/>
  1142.             <when state="lt" output="≤"/>
  1143.             <when state="|" output="⊥"/>
  1144.         </action>
  1145.         <action id="alt _">
  1146.             <when state="none" next="_"/>
  1147.             <when state="lt" output="≤"/>
  1148.             <when state="|" output="⊥"/>
  1149.         </action>
  1150.         <action id="bslash">
  1151.             <when state="none" output="\"/>
  1152.             <when state="fslash" output="∧"/>
  1153.         </action>
  1154.         <action id="alt bslash">
  1155.             <when state="none" output="∨"/>
  1156.             <when state="fslash" output="∧"/>
  1157.         </action>
  1158.         <action id="`">
  1159.             <when state="none" output="`"/>
  1160.             <when state="--" output="⇀"/>
  1161.         </action>
  1162.         <action id="alt `">
  1163.             <when state="none" output="“"/>
  1164.             <when state="--" output="⇀"/>
  1165.         </action>
  1166.         <action id="|">
  1167.             <when state="none" output="|"/>
  1168.             <when state="_" output="⟂"/>
  1169.             <when state="lt" output="◁"/>
  1170.             <when state="|" next="||"/>
  1171.             <when state="fslash" output="∤"/>
  1172.         </action>
  1173.         <action id="alt |">
  1174.             <when state="none" next="|"/>
  1175.             <when state="_" output="⟂"/>
  1176.             <when state="lt" output="◁"/>
  1177.             <when state="|" next="||"/>
  1178.             <when state="fslash" output="∤"/>
  1179.         </action>
  1180.         <action id=":">
  1181.             <when state="none" output=":"/>
  1182.             <when state="fslash" output="∉"/>
  1183.         </action>
  1184.         <action id="alt :">
  1185.             <when state="none" output="∈"/>
  1186.             <when state="fslash" output="∉"/>
  1187.         </action>
  1188.         <action id=".">
  1189.             <when state="none" output="."/>
  1190.             <when state="o" output="⊙"/>
  1191.         </action>
  1192.         <action id="alt .">
  1193.             <when state="none" output="·"/>
  1194.             <when state="o" output="⊙"/>
  1195.         </action>
  1196.         <action id="gt">
  1197.             <when state="none" output=">"/>
  1198.             <when state="-" output="→"/>
  1199.             <when state="--" output="⟶"/>
  1200.             <when state="=" output="⇒"/>
  1201.             <when state="==" output="⟹"/>
  1202.             <when state="_" output="≥"/>
  1203.             <when state="lt" output="◇"/>
  1204.             <when state="lt-" output="↔"/>
  1205.             <when state="lt--" output="⟷"/>
  1206.             <when state="lt=" output="⇔"/>
  1207.             <when state="lt==" output="⟺"/>
  1208.             <when state="|" output="▷"/>
  1209.             <when state="|-" output="↦"/>
  1210.             <when state="|--" output="⟼"/>
  1211.             <when state="|=" output="⤇"/>
  1212.             <when state="|==" output="⟾"/>
  1213.             <when state="~" output="⇝"/>
  1214.         </action>
  1215.         <action id="alt gt">
  1216.             <when state="none" output="〉"/>
  1217.             <when state="-" output="→"/>
  1218.             <when state="--" output="⟶"/>
  1219.             <when state="=" output="⇒"/>
  1220.             <when state="==" output="⟹"/>
  1221.             <when state="_" output="≥"/>
  1222.             <when state="lt" output="◇"/>
  1223.             <when state="lt-" output="↔"/>
  1224.             <when state="lt--" output="⟷"/>
  1225.             <when state="lt=" output="⇔"/>
  1226.             <when state="lt==" output="⟺"/>
  1227.             <when state="|" output="▷"/>
  1228.             <when state="|-" output="↦"/>
  1229.             <when state="|--" output="⟼"/>
  1230.             <when state="|=" output="⤇"/>
  1231.             <when state="|==" output="⟾"/>
  1232.             <when state="~" output="⇝"/>
  1233.         </action>
  1234.         <action id="slash">
  1235.             <when state="none" output="/"/>
  1236.             <when state="o" output="⊘"/>
  1237.         </action>
  1238.         <action id="alt slash">
  1239.             <when state="none" next="fslash"/>
  1240.             <when state="o" output="⊘"/>
  1241.             <when state="=" output="≠"/>
  1242.         </action>
  1243.         <action id="~">
  1244.             <when state="none" output="~"/>
  1245.             <when state="~" output="≈"/>
  1246.         </action>
  1247.         <action id="alt ~">
  1248.             <when state="none" next="~"/>
  1249.             <when state="~" output="≈"/>
  1250.         </action>
  1251.         <action id="alt 8">
  1252.             <when state="none" output="×"/>
  1253.             <when state="o" output="⊗"/>
  1254.         </action>
  1255.     </actions>
  1256.     <terminators>
  1257.         <when state="-" output="-"/>
  1258.         <when state="--" output="–"/>
  1259.         <when state="=" output="="/>
  1260.         <when state="==" output="≡"/>
  1261.         <when state="_" output="_"/>
  1262.         <when state="fslash" output="/"/>
  1263.         <when state="lt" output="〈"/>
  1264.         <when state="lt-" output="←"/>
  1265.         <when state="lt--" output="⟵"/>
  1266.         <when state="lt=" output="⇐"/>
  1267.         <when state="lt==" output="⟸"/>
  1268.         <when state="o" output="∘"/>
  1269.         <when state="|" output="｜"/>
  1270.         <when state="|-" output="⊦"/>
  1271.         <when state="|--" output=""/>
  1272.         <when state="||" output="‖"/>
  1273.         <when state="|=" output="⊧"/>
  1274.         <when state="|==" output=""/>
  1275.         <when state="~" output="¬"/>
  1276.     </terminators>
  1277. </keyboard>
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!