Changes
1 changed files (+6/-5)
-
-
@@ -1,6 +1,6 @@# Generated by https://git.unnamed.website/miscelleaneous/tree/Compose.lean include "%L" <Multi_key> <exclam> <Return> : "¡" <Multi_key> <exclam> <Return> : "¬" <Multi_key> <exclam> <exclam> <Return> : "‼" <Multi_key> <exclam> <question> <Return> : "⁉" <Multi_key> <quotedbl> <A> <Return> : "Ä"
-
@@ -103,7 +103,6 @@ include "%L"<Multi_key> <less> <equal> <greater> <Return> : "⇔" <Multi_key> <less> <equal> <greater> <n> <Return> : "⇎" <Multi_key> <less> <equal> <n> <Return> : "≰" <Multi_key> <less> <n> <Return> : "≮" <Multi_key> <less> <bar> <Return> : "⧏" <Multi_key> <less> <asciitilde> <Return> : "≲" <Multi_key> <less> <asciitilde> <n> <Return> : "⋦"
-
@@ -968,8 +967,6 @@ include "%L"<Multi_key> <b> <z> <Return> : "ℤ" <Multi_key> <c> <Return> : "χ" <Multi_key> <c> <C> <Return> : "Ç" <Multi_key> <c> <bracketleft> <Return> : "⦃" <Multi_key> <c> <bracketright> <Return> : "⦄" <Multi_key> <c> <a> <p> <Return> : "∩" <Multi_key> <c> <a> <u> <t> <i> <o> <n> <Return> : "☡" <Multi_key> <c> <c> <Return> : "ç"
-
@@ -1004,6 +1001,7 @@ include "%L"<Multi_key> <c> <l> <l> <Return> : "⌞" <Multi_key> <c> <l> <r> <Return> : "⌟" <Multi_key> <c> <l> <u> <b> <s> <u> <i> <t> <Return> : "♣" <Multi_key> <c> <o> <e> <Return> : "↑" <Multi_key> <c> <o> <l> <o> <n> <Return> : "₡" <Multi_key> <c> <o> <l> <o> <n> <e> <q> <Return> : "≔" <Multi_key> <c> <o> <m> <Return> : "ℂ"
-
@@ -1335,7 +1333,7 @@ include "%L"<Multi_key> <m> <u> <l> <o> <p> <p> <o> <s> <i> <t> <e> <Return> : "ᵐᵒᵖ" <Multi_key> <m> <u> <l> <t> <i> <m> <a> <p> <Return> : "⊸" <Multi_key> <m> <u> <l> <t> <i> <p> <l> <i> <c> <a> <t> <i> <o> <n> <Return> : "×" <Multi_key> <n> <Return> : "¬" <Multi_key> <n> <Return> : "\\n" <Multi_key> <n> <L> <e> <f> <t> <a> <r> <r> <o> <w> <Return> : "⇍" <Multi_key> <n> <L> <e> <f> <t> <r> <i> <g> <h> <t> <a> <r> <r> <o> <w> <Return> : "⇎" <Multi_key> <n> <R> <i> <g> <h> <t> <a> <r> <r> <o> <w> <Return> : "⇏"
-
@@ -1376,6 +1374,7 @@ include "%L"<Multi_key> <n> <o> <t> <Return> : "¬" <Multi_key> <n> <o> <t> <e> <Return> : "♩" <Multi_key> <n> <o> <t> <i> <n> <Return> : "∉" <Multi_key> <n> <o> <t> <l> <t> <Return> : "≮" <Multi_key> <n> <p> <a> <r> <a> <l> <l> <e> <l> <Return> : "∦" <Multi_key> <n> <p> <r> <e> <c> <Return> : "⊀" <Multi_key> <n> <p> <r> <e> <c> <e> <q> <Return> : "⋠"
-
@@ -1475,6 +1474,7 @@ include "%L"<Multi_key> <q> <u> <a> <d> <Return> : " " <Multi_key> <q> <u> <o> <t> <Return> : "⧸" <Multi_key> <r> <Return> : "→" <Multi_key> <r> <exclam> <Return> : "¡" <Multi_key> <r> <minus> <Return> : "→" <Multi_key> <r> <minus> <minus> <Return> : "⟶" <Multi_key> <r> <minus> <2> <Return> : "⇉"
-
@@ -1541,6 +1541,7 @@ include "%L"<Multi_key> <r> <t> <i> <m> <e> <s> <Return> : "⋊" <Multi_key> <r> <u> <b> <l> <e> <Return> : "₽" <Multi_key> <r> <u> <p> <e> <e> <Return> : "₨" <Multi_key> <r> <w> <Return> : "▸" <Multi_key> <r> <asciitilde> <Return> : "↝" <Multi_key> <s> <I> <n> <t> <e> <r> <Return> : "⋂₀" <Multi_key> <s> <U> <n> <i> <o> <n> <Return> : "⋃₀"
-