SHARE
TWEET

MathUnicode.keylayout

wicko3 May 8th, 2013 396 Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  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>
RAW Paste Data
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
 
Top