diff --git a/agda-input.vim b/agda-input.vim
index c74f8fa..ccd3618 100644
--- a/agda-input.vim
+++ b/agda-input.vim
@@ -4,6 +4,2105 @@ endif
 
 
 if !exists("g:cornelis_no_agda_input")
+  " LaTeX symbols
+  call cornelis#bind_input("eqarray", "█")
+  call cornelis#bind_input("eqcirc", "≖")
+  call cornelis#bind_input("eqcolon", "≕")
+  call cornelis#bind_input("eqslantgtr", "⋝")
+  call cornelis#bind_input("eqslantless", "⋜")
+  call cornelis#bind_input("equiv", "≡")
+  call cornelis#bind_input("end", "〗")
+  call cornelis#bind_input("en", "–")
+  call cornelis#bind_input("exn", "∄")
+  call cornelis#bind_input("exists", "∃")
+  call cornelis#bind_input("ex", "∃")
+  call cornelis#bind_input("emptyset", "∅")
+  call cornelis#bind_input("em", "—")
+  call cornelis#bind_input("euro", "€")
+  call cornelis#bind_input("eta", "η")
+  call cornelis#bind_input("epsilon", "ϵ")
+  call cornelis#bind_input("ee", "ⅇ")
+  call cornelis#bind_input("ell", "ℓ")
+  call cornelis#bind_input("=n", "≠")
+  call cornelis#bind_input("==n", "≢")
+  call cornelis#bind_input("===", "≣")
+  call cornelis#bind_input("==", "≡")
+  call cornelis#bind_input("=:", "≕")
+  call cornelis#bind_input("=>n", "⇏")
+  call cornelis#bind_input("=>", "⇒")
+  call cornelis#bind_input("={A}", "Ā")
+  call cornelis#bind_input("={a}", "ā")
+  call cornelis#bind_input("={E}", "Ē")
+  call cornelis#bind_input("={e}", "ē")
+  call cornelis#bind_input("={I}", "Ī")
+  call cornelis#bind_input("={i}", "ī")
+  call cornelis#bind_input("={O}", "Ō")
+  call cornelis#bind_input("={o}", "ō")
+  call cornelis#bind_input("={U}", "Ū")
+  call cornelis#bind_input("={u}", "ū")
+  call cornelis#bind_input("={Y}", "Ȳ")
+  call cornelis#bind_input("={y}", "ȳ")
+  call cornelis#bind_input("={G}", "Ḡ")
+  call cornelis#bind_input("={g}", "ḡ")
+  call cornelis#bind_input("={}", "¯")
+  call cornelis#bind_input("=A", "Ā")
+  call cornelis#bind_input("=a", "ā")
+  call cornelis#bind_input("=E", "Ē")
+  call cornelis#bind_input("=e", "ē")
+  call cornelis#bind_input("=I", "Ī")
+  call cornelis#bind_input("=i", "ī")
+  call cornelis#bind_input("=O", "Ō")
+  call cornelis#bind_input("=U", "Ū")
+  call cornelis#bind_input("=u", "ū")
+  call cornelis#bind_input("=Y", "Ȳ")
+  call cornelis#bind_input("=y", "ȳ")
+  call cornelis#bind_input("=G", "Ḡ")
+  call cornelis#bind_input("=g", "ḡ")
+  call cornelis#bind_input("~~n", "≉")
+  call cornelis#bind_input("~~~", "≋")
+  call cornelis#bind_input("~~-", "≊")
+  call cornelis#bind_input("~~", "≈")
+  call cornelis#bind_input("~-n", "≄")
+  call cornelis#bind_input("~-", "≃")
+  call cornelis#bind_input("~=n", "≇")
+  call cornelis#bind_input("~=", "≅")
+  call cornelis#bind_input("~{A}", "Ã")
+  call cornelis#bind_input("~{N}", "Ñ")
+  call cornelis#bind_input("~{O}", "Õ")
+  call cornelis#bind_input("~{a}", "ã")
+  call cornelis#bind_input("~{n}", "ñ")
+  call cornelis#bind_input("~{o}", "õ")
+  call cornelis#bind_input("~{I}", "Ĩ")
+  call cornelis#bind_input("~{i}", "ĩ")
+  call cornelis#bind_input("~{U}", "Ũ")
+  call cornelis#bind_input("~{u}", "ũ")
+  call cornelis#bind_input("~{V}", "Ṽ")
+  call cornelis#bind_input("~{v}", "ṽ")
+  call cornelis#bind_input("~{E}", "Ẽ")
+  call cornelis#bind_input("~{e}", "ẽ")
+  call cornelis#bind_input("~{Y}", "Ỹ")
+  call cornelis#bind_input("~{y}", "ỹ")
+  call cornelis#bind_input("~{}", "˜")
+  call cornelis#bind_input("~A", "Ã")
+  call cornelis#bind_input("~N", "Ñ")
+  call cornelis#bind_input("~O", "Õ")
+  call cornelis#bind_input("~a", "ã")
+  call cornelis#bind_input("~o", "õ")
+  call cornelis#bind_input("~I", "Ĩ")
+  call cornelis#bind_input("~i", "ĩ")
+  call cornelis#bind_input("~U", "Ũ")
+  call cornelis#bind_input("~u", "ũ")
+  call cornelis#bind_input("~V", "Ṽ")
+  call cornelis#bind_input("~v", "ṽ")
+  call cornelis#bind_input("~E", "Ẽ")
+  call cornelis#bind_input("~e", "ẽ")
+  call cornelis#bind_input("~Y", "Ỹ")
+  call cornelis#bind_input("~y", "ỹ")
+  call cornelis#bind_input(":~", "∻")
+  call cornelis#bind_input(":=", "≔")
+  call cornelis#bind_input("::-", "∺")
+  call cornelis#bind_input("::", "∷")
+  call cornelis#bind_input("-~", "≂")
+  call cornelis#bind_input("-|", "⊣")
+  call cornelis#bind_input("-:", "∹")
+  call cornelis#bind_input("->n", "↛")
+  call cornelis#bind_input("->", "→")
+  call cornelis#bind_input("-->", "⟶")
+  call cornelis#bind_input("-o", "⊸")
+  call cornelis#bind_input("-", "­")
+  call cornelis#bind_input(".=.", "≑")
+  call cornelis#bind_input(".=", "≐")
+  call cornelis#bind_input(".+", "∔")
+  call cornelis#bind_input(".-", "∸")
+  call cornelis#bind_input(".{C}", "Ċ")
+  call cornelis#bind_input(".{c}", "ċ")
+  call cornelis#bind_input(".{E}", "Ė")
+  call cornelis#bind_input(".{e}", "ė")
+  call cornelis#bind_input(".{G}", "Ġ")
+  call cornelis#bind_input(".{g}", "ġ")
+  call cornelis#bind_input(".{I}", "İ")
+  call cornelis#bind_input(".{Z}", "Ż")
+  call cornelis#bind_input(".{z}", "ż")
+  call cornelis#bind_input(".{A}", "Ȧ")
+  call cornelis#bind_input(".{a}", "ȧ")
+  call cornelis#bind_input(".{O}", "Ȯ")
+  call cornelis#bind_input(".{o}", "ȯ")
+  call cornelis#bind_input(".{B}", "Ḃ")
+  call cornelis#bind_input(".{b}", "ḃ")
+  call cornelis#bind_input(".{D}", "Ḋ")
+  call cornelis#bind_input(".{d}", "ḋ")
+  call cornelis#bind_input(".{F}", "Ḟ")
+  call cornelis#bind_input(".{f}", "ḟ")
+  call cornelis#bind_input(".{H}", "Ḣ")
+  call cornelis#bind_input(".{h}", "ḣ")
+  call cornelis#bind_input(".{M}", "Ṁ")
+  call cornelis#bind_input(".{m}", "ṁ")
+  call cornelis#bind_input(".{N}", "Ṅ")
+  call cornelis#bind_input(".{n}", "ṅ")
+  call cornelis#bind_input(".{P}", "Ṗ")
+  call cornelis#bind_input(".{p}", "ṗ")
+  call cornelis#bind_input(".{R}", "Ṙ")
+  call cornelis#bind_input(".{r}", "ṙ")
+  call cornelis#bind_input(".{S}", "Ṡ")
+  call cornelis#bind_input(".{s}", "ṡ")
+  call cornelis#bind_input(".{T}", "Ṫ")
+  call cornelis#bind_input(".{t}", "ṫ")
+  call cornelis#bind_input(".{W}", "Ẇ")
+  call cornelis#bind_input(".{w}", "ẇ")
+  call cornelis#bind_input(".{X}", "Ẋ")
+  call cornelis#bind_input(".{x}", "ẋ")
+  call cornelis#bind_input(".{Y}", "Ẏ")
+  call cornelis#bind_input(".{y}", "ẏ")
+  call cornelis#bind_input(".{}", "˙")
+  call cornelis#bind_input(".C", "Ċ")
+  call cornelis#bind_input(".c", "ċ")
+  call cornelis#bind_input(".E", "Ė")
+  call cornelis#bind_input(".e", "ė")
+  call cornelis#bind_input(".G", "Ġ")
+  call cornelis#bind_input(".g", "ġ")
+  call cornelis#bind_input(".I", "İ")
+  call cornelis#bind_input(".Z", "Ż")
+  call cornelis#bind_input(".z", "ż")
+  call cornelis#bind_input(".A", "Ȧ")
+  call cornelis#bind_input(".a", "ȧ")
+  call cornelis#bind_input(".O", "Ȯ")
+  call cornelis#bind_input(".o", "ȯ")
+  call cornelis#bind_input(".B", "Ḃ")
+  call cornelis#bind_input(".b", "ḃ")
+  call cornelis#bind_input(".D", "Ḋ")
+  call cornelis#bind_input(".d", "ḋ")
+  call cornelis#bind_input(".F", "Ḟ")
+  call cornelis#bind_input(".f", "ḟ")
+  call cornelis#bind_input(".H", "Ḣ")
+  call cornelis#bind_input(".h", "ḣ")
+  call cornelis#bind_input(".M", "Ṁ")
+  call cornelis#bind_input(".m", "ṁ")
+  call cornelis#bind_input(".N", "Ṅ")
+  call cornelis#bind_input(".n", "ṅ")
+  call cornelis#bind_input(".P", "Ṗ")
+  call cornelis#bind_input(".p", "ṗ")
+  call cornelis#bind_input(".R", "Ṙ")
+  call cornelis#bind_input(".r", "ṙ")
+  call cornelis#bind_input(".S", "Ṡ")
+  call cornelis#bind_input(".s", "ṡ")
+  call cornelis#bind_input(".T", "Ṫ")
+  call cornelis#bind_input(".t", "ṫ")
+  call cornelis#bind_input(".W", "Ẇ")
+  call cornelis#bind_input(".w", "ẇ")
+  call cornelis#bind_input(".X", "Ẋ")
+  call cornelis#bind_input(".x", "ẋ")
+  call cornelis#bind_input(".Y", "Ẏ")
+  call cornelis#bind_input(".y", "ẏ")
+  call cornelis#bind_input("(=", "≘")
+  call cornelis#bind_input("(b", "⟅")
+  call cornelis#bind_input("(|", "⦇")
+  call cornelis#bind_input("and=", "≙")
+  call cornelis#bind_input("and", "∧")
+  call cornelis#bind_input("angstrom", "Å")
+  call cornelis#bind_input("all", "∀")
+  call cornelis#bind_input("alpha", "α")
+  call cornelis#bind_input("aleph", "ℵ")
+  call cornelis#bind_input("ast", "∗")
+  call cornelis#bind_input("asmash", "⬆")
+  call cornelis#bind_input("asymp", "≍")
+  call cornelis#bind_input("approxeq", "≊")
+  call cornelis#bind_input("approx", "≈")
+  call cornelis#bind_input("aa", "å")
+  call cornelis#bind_input("ae", "æ")
+  call cornelis#bind_input("afghani", "؋")
+  call cornelis#bind_input("austral", "₳")
+  call cornelis#bind_input("above", "┴")
+  call cornelis#bind_input("amalg", "∐")
+  call cornelis#bind_input("aoint", "∳")
+  call cornelis#bind_input("atop", "¦")
+  call cornelis#bind_input("or=", "≚")
+  call cornelis#bind_input("ordfeminine", "ª")
+  call cornelis#bind_input("ordmasculine", "º")
+  call cornelis#bind_input("or", "∨")
+  call cornelis#bind_input("o+", "⊕")
+  call cornelis#bind_input("o--", "⊖")
+  call cornelis#bind_input("o-", "⊝")
+  call cornelis#bind_input("ox", "⊗")
+  call cornelis#bind_input("o/", "⊘")
+  call cornelis#bind_input("o.", "⊙")
+  call cornelis#bind_input("oo", "⊚")
+  call cornelis#bind_input("o*", "⊛")
+  call cornelis#bind_input("o=", "⊜")
+  call cornelis#bind_input("oe", "œ")
+  call cornelis#bind_input("ounce", "℥")
+  call cornelis#bind_input("ohm", "Ω")
+  call cornelis#bind_input("octagonal", "🛑")
+  call cornelis#bind_input("omicron", "ο")
+  call cornelis#bind_input("ominus", "⊖")
+  call cornelis#bind_input("omega", "ω")
+  call cornelis#bind_input("odot", "⊙")
+  call cornelis#bind_input("oiiint", "∰")
+  call cornelis#bind_input("oiint", "∯")
+  call cornelis#bind_input("oint", "∮")
+  call cornelis#bind_input("oplus", "⊕")
+  call cornelis#bind_input("oslash", "⊘")
+  call cornelis#bind_input("otimes", "⊗")
+  call cornelis#bind_input("overbrace", "⏞")
+  call cornelis#bind_input("overparen", "⏜")
+  call cornelis#bind_input("*=", "≛")
+  call cornelis#bind_input("t=", "≜")
+  call cornelis#bind_input("twoheadleftarrow", "↞")
+  call cornelis#bind_input("twoheadrightarrow", "↠")
+  call cornelis#bind_input("tie", "⁀")
+  call cornelis#bind_input("times", "×")
+  call cornelis#bind_input("tugrik", "₮")
+  call cornelis#bind_input("tenge", "₸")
+  call cornelis#bind_input("telephone", "℡")
+  call cornelis#bind_input("textmusicalnote", "♪")
+  call cornelis#bind_input("textmu", "µ")
+  call cornelis#bind_input("textfractionsolidus", "⁄")
+  call cornelis#bind_input("textbigcircle", "⃝")
+  call cornelis#bind_input("textbaht", "฿")
+  call cornelis#bind_input("textdied", "✝")
+  call cornelis#bind_input("textdiscount", "⁒")
+  call cornelis#bind_input("textcolonmonetary", "₡")
+  call cornelis#bind_input("textcircledP", "℗")
+  call cornelis#bind_input("textwon", "₩")
+  call cornelis#bind_input("textnaira", "₦")
+  call cornelis#bind_input("textnumero", "№")
+  call cornelis#bind_input("textpeso", "₱")
+  call cornelis#bind_input("textpertenthousand", "‱")
+  call cornelis#bind_input("textlira", "₤")
+  call cornelis#bind_input("textlquill", "⁅")
+  call cornelis#bind_input("textrecipe", "℞")
+  call cornelis#bind_input("textreferencemark", "※")
+  call cornelis#bind_input("textrquill", "⁆")
+  call cornelis#bind_input("textinterrobang", "‽")
+  call cornelis#bind_input("textestimated", "℮")
+  call cornelis#bind_input("textopenbullet", "◦")
+  call cornelis#bind_input("theta", "θ")
+  call cornelis#bind_input("therefore", "∴")
+  call cornelis#bind_input("thickapprox", "≈")
+  call cornelis#bind_input("thicksim", "∼")
+  call cornelis#bind_input("th", "þ")
+  call cornelis#bind_input("tau", "τ")
+  call cornelis#bind_input("top", "⊤")
+  call cornelis#bind_input("to", "→")
+  call cornelis#bind_input("triangledown", "▿")
+  call cornelis#bind_input("trianglelefteq", "⊴")
+  call cornelis#bind_input("triangleleft", "◃")
+  call cornelis#bind_input("triangleq", "≜")
+  call cornelis#bind_input("trianglerighteq", "⊵")
+  call cornelis#bind_input("triangleright", "▹")
+  call cornelis#bind_input("triangle", "▵")
+  call cornelis#bind_input("def=", "≝")
+  call cornelis#bind_input("defs", "≙")
+  call cornelis#bind_input("degree", "°")
+  call cornelis#bind_input("delta", "δ")
+  call cornelis#bind_input("dei", "ϯ")
+  call cornelis#bind_input("dr-", "↘")
+  call cornelis#bind_input("dr=", "⇘")
+  call cornelis#bind_input("drachma", "₯")
+  call cornelis#bind_input("dl-", "↙")
+  call cornelis#bind_input("dl=", "⇙")
+  call cornelis#bind_input("d-2", "⇊")
+  call cornelis#bind_input("d-u-", "⇵")
+  call cornelis#bind_input("d-|", "↧")
+  call cornelis#bind_input("d-", "↓")
+  call cornelis#bind_input("d==", "⟱")
+  call cornelis#bind_input("d=", "⇓")
+  call cornelis#bind_input("dd-", "↡")
+  call cornelis#bind_input("ddagger", "‡")
+  call cornelis#bind_input("ddag", "‡")
+  call cornelis#bind_input("ddddot", "⃜")
+  call cornelis#bind_input("dddot", "⃛")
+  call cornelis#bind_input("ddots", "⋱")
+  call cornelis#bind_input("dd", "ⅆ")
+  call cornelis#bind_input("dz", "↯")
+  call cornelis#bind_input("dib", "◆")
+  call cornelis#bind_input("diw", "◇")
+  call cornelis#bind_input("di.", "◈")
+  call cornelis#bind_input("division", "÷")
+  call cornelis#bind_input("divideontimes", "⋇")
+  call cornelis#bind_input("div", "÷")
+  call cornelis#bind_input("diameter", "⌀")
+  call cornelis#bind_input("diamondsuit", "♢")
+  call cornelis#bind_input("diamond", "⋄")
+  call cornelis#bind_input("digamma", "ϝ")
+  call cornelis#bind_input("d{B}", "Ḅ")
+  call cornelis#bind_input("d{b}", "ḅ")
+  call cornelis#bind_input("d{D}", "Ḍ")
+  call cornelis#bind_input("d{d}", "ḍ")
+  call cornelis#bind_input("d{H}", "Ḥ")
+  call cornelis#bind_input("d{h}", "ḥ")
+  call cornelis#bind_input("d{K}", "Ḳ")
+  call cornelis#bind_input("d{k}", "ḳ")
+  call cornelis#bind_input("d{L}", "Ḷ")
+  call cornelis#bind_input("d{l}", "ḷ")
+  call cornelis#bind_input("d{M}", "Ṃ")
+  call cornelis#bind_input("d{m}", "ṃ")
+  call cornelis#bind_input("d{N}", "Ṇ")
+  call cornelis#bind_input("d{n}", "ṇ")
+  call cornelis#bind_input("d{R}", "Ṛ")
+  call cornelis#bind_input("d{r}", "ṛ")
+  call cornelis#bind_input("d{S}", "Ṣ")
+  call cornelis#bind_input("d{s}", "ṣ")
+  call cornelis#bind_input("d{T}", "Ṭ")
+  call cornelis#bind_input("d{t}", "ṭ")
+  call cornelis#bind_input("d{V}", "Ṿ")
+  call cornelis#bind_input("d{v}", "ṿ")
+  call cornelis#bind_input("d{W}", "Ẉ")
+  call cornelis#bind_input("d{w}", "ẉ")
+  call cornelis#bind_input("d{Z}", "Ẓ")
+  call cornelis#bind_input("d{z}", "ẓ")
+  call cornelis#bind_input("d{A}", "Ạ")
+  call cornelis#bind_input("d{a}", "ạ")
+  call cornelis#bind_input("d{E}", "Ẹ")
+  call cornelis#bind_input("d{e}", "ẹ")
+  call cornelis#bind_input("d{I}", "Ị")
+  call cornelis#bind_input("d{i}", "ị")
+  call cornelis#bind_input("d{O}", "Ọ")
+  call cornelis#bind_input("d{o}", "ọ")
+  call cornelis#bind_input("d{U}", "Ụ")
+  call cornelis#bind_input("d{u}", "ụ")
+  call cornelis#bind_input("d{Y}", "Ỵ")
+  call cornelis#bind_input("d{y}", "ỵ")
+  call cornelis#bind_input("dong", "₫")
+  call cornelis#bind_input("doteqdot", "≑")
+  call cornelis#bind_input("doteq", "≐")
+  call cornelis#bind_input("dotplus", "∔")
+  call cornelis#bind_input("dotsquare", "⊡")
+  call cornelis#bind_input("downarrow", "↓")
+  call cornelis#bind_input("downdownarrows", "⇊")
+  call cornelis#bind_input("downleftharpoon", "⇃")
+  call cornelis#bind_input("downrightharpoon", "⇂")
+  call cornelis#bind_input("dagger", "†")
+  call cornelis#bind_input("dag", "†")
+  call cornelis#bind_input("daleth", "ℸ")
+  call cornelis#bind_input("dashv", "⊣")
+  call cornelis#bind_input("dsmash", "⬇")
+  call cornelis#bind_input("dh", "ð")
+  call cornelis#bind_input("m=", "≞")
+  call cornelis#bind_input("measuredangle", "∡")
+  call cornelis#bind_input("micro", "µ")
+  call cornelis#bind_input("mill", "₥")
+  call cornelis#bind_input("minus", "−")
+  call cornelis#bind_input("mid", "∣")
+  call cornelis#bind_input("multiplication", "×")
+  call cornelis#bind_input("multimap", "⊸")
+  call cornelis#bind_input("mu", "μ")
+  call cornelis#bind_input("manat", "₼")
+  call cornelis#bind_input("male", "♂")
+  call cornelis#bind_input("maltese", "✠")
+  call cornelis#bind_input("mapsto", "↦")
+  call cornelis#bind_input("mathscr{I}", "ℐ")
+  call cornelis#bind_input("mho", "℧")
+  call cornelis#bind_input("models", "⊧")
+  call cornelis#bind_input("mp", "∓")
+  call cornelis#bind_input("?=", "≟")
+  call cornelis#bind_input("??", "⁇")
+  call cornelis#bind_input("leqq", "≦")
+  call cornelis#bind_input("leqslant", "≤")
+  call cornelis#bind_input("len", "≰")
+  call cornelis#bind_input("leadsto", "↝")
+  call cornelis#bind_input("leftarrowtail", "↢")
+  call cornelis#bind_input("leftarrow", "←")
+  call cornelis#bind_input("leftharpoondown", "↽")
+  call cornelis#bind_input("leftharpoonup", "↼")
+  call cornelis#bind_input("leftleftarrows", "⇇")
+  call cornelis#bind_input("leftrightarrows", "⇆")
+  call cornelis#bind_input("leftrightarrow", "↔")
+  call cornelis#bind_input("leftrightharpoons", "⇋")
+  call cornelis#bind_input("leftrightsquigarrow", "↭")
+  call cornelis#bind_input("leftthreetimes", "⋋")
+  call cornelis#bind_input("lessapprox", "≲")
+  call cornelis#bind_input("lessdot", "⋖")
+  call cornelis#bind_input("lesseqgtr", "⋚")
+  call cornelis#bind_input("lesseqqgtr", "⋚")
+  call cornelis#bind_input("lessgtr", "≶")
+  call cornelis#bind_input("lesssim", "≲")
+  call cornelis#bind_input("le", "≤")
+  call cornelis#bind_input("lub", "⊔")
+  call cornelis#bind_input("lr--", "⟷")
+  call cornelis#bind_input("lr-n", "↮")
+  call cornelis#bind_input("lr-", "↔")
+  call cornelis#bind_input("lr=n", "⇎")
+  call cornelis#bind_input("lr=", "⇔")
+  call cornelis#bind_input("lr~", "↭")
+  call cornelis#bind_input("lrcorner", "⌟")
+  call cornelis#bind_input("l-2", "⇇")
+  call cornelis#bind_input("l-r-", "⇆")
+  call cornelis#bind_input("l--", "⟵")
+  call cornelis#bind_input("l-n", "↚")
+  call cornelis#bind_input("l-|", "↤")
+  call cornelis#bind_input("l->", "↢")
+  call cornelis#bind_input("l-", "←")
+  call cornelis#bind_input("l==", "⇚")
+  call cornelis#bind_input("l=n", "⇍")
+  call cornelis#bind_input("l=", "⇐")
+  call cornelis#bind_input("ll-", "↞")
+  call cornelis#bind_input("llcorner", "⌞")
+  call cornelis#bind_input("llbracket", "〚")
+  call cornelis#bind_input("ll", "≪")
+  call cornelis#bind_input("lbag", "⟅")
+  call cornelis#bind_input("lira", "₤")
+  call cornelis#bind_input("lari", "₾")
+  call cornelis#bind_input("lamda", "λ")
+  call cornelis#bind_input("lambdabar", "ƛ")
+  call cornelis#bind_input("lambda", "λ")
+  call cornelis#bind_input("langle", "⟨")
+  call cornelis#bind_input("lceil", "⌈")
+  call cornelis#bind_input("ldiv", "∕")
+  call cornelis#bind_input("ldots", "…")
+  call cornelis#bind_input("ldq", "“")
+  call cornelis#bind_input("ldata", "《")
+  call cornelis#bind_input("lfloor", "⌊")
+  call cornelis#bind_input("lhd", "◁")
+  call cornelis#bind_input("lnapprox", "⋦")
+  call cornelis#bind_input("lneqq", "≨")
+  call cornelis#bind_input("lneq", "≨")
+  call cornelis#bind_input("lnsim", "⋦")
+  call cornelis#bind_input("lnot", "¬")
+  call cornelis#bind_input("longleftarrow", "⟵")
+  call cornelis#bind_input("longleftrightarrow", "⟷")
+  call cornelis#bind_input("longmapsto", "⟼")
+  call cornelis#bind_input("longrightarrow", "⟶")
+  call cornelis#bind_input("looparrowleft", "↫")
+  call cornelis#bind_input("looparrowright", "↬")
+  call cornelis#bind_input("lozenge", "✧")
+  call cornelis#bind_input("lq", "‘")
+  call cornelis#bind_input("ltimes", "⋉")
+  call cornelis#bind_input("lvertneqq", "≨")
+  call cornelis#bind_input("geqq", "≧")
+  call cornelis#bind_input("geqslant", "≥")
+  call cornelis#bind_input("gen", "≱")
+  call cornelis#bind_input("gets", "←")
+  call cornelis#bind_input("ge", "≥")
+  call cornelis#bind_input("glb", "⊓")
+  call cornelis#bind_input("glqq", "„")
+  call cornelis#bind_input("glq", "‚")
+  call cornelis#bind_input("guarani", "₲")
+  call cornelis#bind_input("gamma", "γ")
+  call cornelis#bind_input("gangia", "ϫ")
+  call cornelis#bind_input("ggg", "⋙")
+  call cornelis#bind_input("gg", "≫")
+  call cornelis#bind_input("gimel", "ℷ")
+  call cornelis#bind_input("gnapprox", "⋧")
+  call cornelis#bind_input("gneqq", "≩")
+  call cornelis#bind_input("gneq", "≩")
+  call cornelis#bind_input("gnsim", "⋧")
+  call cornelis#bind_input("gtrapprox", "≳")
+  call cornelis#bind_input("gtrdot", "⋗")
+  call cornelis#bind_input("gtreqless", "⋛")
+  call cornelis#bind_input("gtreqqless", "⋛")
+  call cornelis#bind_input("gtrless", "≷")
+  call cornelis#bind_input("gtrsim", "≳")
+  call cornelis#bind_input("gvertneqq", "≩")
+  call cornelis#bind_input("grqq", "“")
+  call cornelis#bind_input("grq", "‘")
+  call cornelis#bind_input("<=n", "≰")
+  call cornelis#bind_input("<=>n", "⇎")
+  call cornelis#bind_input("<=>", "⇔")
+  call cornelis#bind_input("<n", "≮")
+  call cornelis#bind_input("<~nn", "≴")
+  call cornelis#bind_input("<~n", "⋦")
+  call cornelis#bind_input("<~", "≲")
+  call cornelis#bind_input("<->n", "↮")
+  call cornelis#bind_input("<->", "↔")
+  call cornelis#bind_input("<-->", "⟷")
+  call cornelis#bind_input("<--", "⟵")
+  call cornelis#bind_input("<-n", "↚")
+  call cornelis#bind_input("<-", "←")
+  call cornelis#bind_input("<<", "⟪")
+  call cornelis#bind_input("<|", "⦉")
+  call cornelis#bind_input(">=n", "≱")
+  call cornelis#bind_input(">=", "≥")
+  call cornelis#bind_input(">n", "≯")
+  call cornelis#bind_input(">~nn", "≵")
+  call cornelis#bind_input(">~n", "⋧")
+  call cornelis#bind_input(">~", "≳")
+  call cornelis#bind_input(">>", "⟫")
+  call cornelis#bind_input("subn", "⊄")
+  call cornelis#bind_input("sub=n", "⊈")
+  call cornelis#bind_input("sub=", "⊆")
+  call cornelis#bind_input("subseteqq", "⊆")
+  call cornelis#bind_input("subseteq", "⊆")
+  call cornelis#bind_input("subsetneqq", "⊊")
+  call cornelis#bind_input("subsetneq", "⊊")
+  call cornelis#bind_input("subset", "⊂")
+  call cornelis#bind_input("sub", "⊂")
+  call cornelis#bind_input("supn", "⊅")
+  call cornelis#bind_input("sup=n", "⊉")
+  call cornelis#bind_input("sup=", "⊇")
+  call cornelis#bind_input("supseteqq", "⊇")
+  call cornelis#bind_input("supseteq", "⊇")
+  call cornelis#bind_input("supsetneqq", "⊋")
+  call cornelis#bind_input("supsetneq", "⊋")
+  call cornelis#bind_input("supset", "⊃")
+  call cornelis#bind_input("sup", "⊃")
+  call cornelis#bind_input("surd3", "∛")
+  call cornelis#bind_input("surd4", "∜")
+  call cornelis#bind_input("surd", "√")
+  call cornelis#bind_input("succapprox", "≿")
+  call cornelis#bind_input("succcurlyeq", "≽")
+  call cornelis#bind_input("succeq", "≽")
+  call cornelis#bind_input("succnapprox", "⋩")
+  call cornelis#bind_input("succnsim", "⋩")
+  call cornelis#bind_input("succsim", "≿")
+  call cornelis#bind_input("succ", "≻")
+  call cornelis#bind_input("sum", "∑")
+  call cornelis#bind_input("squb=n", "⋢")
+  call cornelis#bind_input("squb=", "⊑")
+  call cornelis#bind_input("squb", "⊏")
+  call cornelis#bind_input("squp=n", "⋣")
+  call cornelis#bind_input("squp=", "⊒")
+  call cornelis#bind_input("squp", "⊐")
+  call cornelis#bind_input("square", "□")
+  call cornelis#bind_input("squigarrowright", "⇝")
+  call cornelis#bind_input("sqrt[3]", "∛")
+  call cornelis#bind_input("sqrt[4]", "∜")
+  call cornelis#bind_input("sqrt", "√")
+  call cornelis#bind_input("sq.", "▣")
+  call cornelis#bind_input("sqo", "▢")
+  call cornelis#bind_input("sqcap", "⊓")
+  call cornelis#bind_input("sqcup", "⊔")
+  call cornelis#bind_input("sqsubseteq", "⊑")
+  call cornelis#bind_input("sqsubset", "⊏")
+  call cornelis#bind_input("sqsupseteq", "⊒")
+  call cornelis#bind_input("sqsupset", "⊐")
+  call cornelis#bind_input("st6", "✶")
+  call cornelis#bind_input("st8", "✴")
+  call cornelis#bind_input("st12", "✹")
+  call cornelis#bind_input("stigma", "ϛ")
+  call cornelis#bind_input("star", "⋆")
+  call cornelis#bind_input("straightphi", "φ")
+  call cornelis#bind_input("ss", "ß")
+  call cornelis#bind_input("section", "§")
+  call cornelis#bind_input("searrow", "↘")
+  call cornelis#bind_input("setminus", "∖")
+  call cornelis#bind_input("spesmilo", "₷")
+  call cornelis#bind_input("spadesuit", "♠")
+  call cornelis#bind_input("sphericalangle", "∢")
+  call cornelis#bind_input("som", "⃀")
+  call cornelis#bind_input("sigma", "σ")
+  call cornelis#bind_input("simeq", "≃")
+  call cornelis#bind_input("sim", "∼")
+  call cornelis#bind_input("sampi", "ϡ")
+  call cornelis#bind_input("san", "ϻ")
+  call cornelis#bind_input("shei", "ϣ")
+  call cornelis#bind_input("shima", "ϭ")
+  call cornelis#bind_input("shortmid", "∣")
+  call cornelis#bind_input("shortparallel", "∥")
+  call cornelis#bind_input("sho", "ϸ")
+  call cornelis#bind_input("sharp", "♯")
+  call cornelis#bind_input("sdiv", "⁄")
+  call cornelis#bind_input("sbs", "﹨")
+  call cornelis#bind_input("smallamalg", "∐")
+  call cornelis#bind_input("smallsetminus", "∖")
+  call cornelis#bind_input("smallsmile", "⌣")
+  call cornelis#bind_input("smash", "⬍")
+  call cornelis#bind_input("smile", "⌣")
+  call cornelis#bind_input("swarrow", "↙")
+  call cornelis#bind_input("inn", "∉")
+  call cornelis#bind_input("intercal", "⊺")
+  call cornelis#bind_input("int", "∫")
+  call cornelis#bind_input("increment", "∆")
+  call cornelis#bind_input("infty", "∞")
+  call cornelis#bind_input("inf", "∞")
+  call cornelis#bind_input("in", "∈")
+  call cornelis#bind_input("iota", "ι")
+  call cornelis#bind_input("iff", "⇔")
+  call cornelis#bind_input("iiiint", "⨌")
+  call cornelis#bind_input("iiint", "∭")
+  call cornelis#bind_input("iint", "∬")
+  call cornelis#bind_input("ii", "ⅈ")
+  call cornelis#bind_input("imath", "ı")
+  call cornelis#bind_input("nin", "∌")
+  call cornelis#bind_input("ni", "∋")
+  call cornelis#bind_input("notin", "∉")
+  call cornelis#bind_input("not", "̸")
+  call cornelis#bind_input("nomisma", "𐆎")
+  call cornelis#bind_input("naira", "₦")
+  call cornelis#bind_input("nabla", "∇")
+  call cornelis#bind_input("napprox", "≉")
+  call cornelis#bind_input("natural", "♮")
+  call cornelis#bind_input("numero", "№")
+  call cornelis#bind_input("nu", "ν")
+  call cornelis#bind_input("nLeftarrow", "⇍")
+  call cornelis#bind_input("nLeftrightarrow", "⇎")
+  call cornelis#bind_input("nRightarrow", "⇏")
+  call cornelis#bind_input("nVDash", "⊯")
+  call cornelis#bind_input("nVdash", "⊮")
+  call cornelis#bind_input("ncong", "≇")
+  call cornelis#bind_input("nearrow", "↗")
+  call cornelis#bind_input("neg", "¬")
+  call cornelis#bind_input("nequiv", "≢")
+  call cornelis#bind_input("neq", "≠")
+  call cornelis#bind_input("newline", "")
+  call cornelis#bind_input("nexists", "∄")
+  call cornelis#bind_input("ne", "≠")
+  call cornelis#bind_input("ngeqq", "≱")
+  call cornelis#bind_input("ngeqslant", "≱")
+  call cornelis#bind_input("ngeq", "≱")
+  call cornelis#bind_input("ngtr", "≯")
+  call cornelis#bind_input("nleftarrow", "↚")
+  call cornelis#bind_input("nleftrightarrow", "↮")
+  call cornelis#bind_input("nleqq", "≰")
+  call cornelis#bind_input("nleqslant", "≰")
+  call cornelis#bind_input("nleq", "≰")
+  call cornelis#bind_input("nless", "≮")
+  call cornelis#bind_input("nmid", "∤")
+  call cornelis#bind_input("nparallel", "∦")
+  call cornelis#bind_input("npreceq", "⋠")
+  call cornelis#bind_input("nprec", "⊀")
+  call cornelis#bind_input("nrightarrow", "↛")
+  call cornelis#bind_input("nshortmid", "∤")
+  call cornelis#bind_input("nshortparallel", "∦")
+  call cornelis#bind_input("nsimeq", "≄")
+  call cornelis#bind_input("nsim", "≁")
+  call cornelis#bind_input("nsubseteqq", "⊈")
+  call cornelis#bind_input("nsubseteq", "⊈")
+  call cornelis#bind_input("nsubset", "⊄")
+  call cornelis#bind_input("nsucceq", "⋡")
+  call cornelis#bind_input("nsucc", "⊁")
+  call cornelis#bind_input("nsupseteqq", "⊉")
+  call cornelis#bind_input("nsupseteq", "⊉")
+  call cornelis#bind_input("nsupset", "⊅")
+  call cornelis#bind_input("ntrianglelefteq", "⋬")
+  call cornelis#bind_input("ntriangleleft", "⋪")
+  call cornelis#bind_input("ntrianglerighteq", "⋭")
+  call cornelis#bind_input("ntriangleright", "⋫")
+  call cornelis#bind_input("nvDash", "⊭")
+  call cornelis#bind_input("nvdash", "⊬")
+  call cornelis#bind_input("nwarrow", "↖")
+  call cornelis#bind_input("undertie", "‿")
+  call cornelis#bind_input("underbar", "▁")
+  call cornelis#bind_input("underbrace", "⏟")
+  call cornelis#bind_input("underparen", "⏝")
+  call cornelis#bind_input("uncertainty", "⯑")
+  call cornelis#bind_input("un", "∪")
+  call cornelis#bind_input("u+", "⊎")
+  call cornelis#bind_input("u.", "⊍")
+  call cornelis#bind_input("ud-|", "↨")
+  call cornelis#bind_input("ud-", "↕")
+  call cornelis#bind_input("ud=", "⇕")
+  call cornelis#bind_input("ul-", "↖")
+  call cornelis#bind_input("ul=", "⇖")
+  call cornelis#bind_input("ulcorner", "⌜")
+  call cornelis#bind_input("ur-", "↗")
+  call cornelis#bind_input("ur=", "⇗")
+  call cornelis#bind_input("urcorner", "⌝")
+  call cornelis#bind_input("u-2", "⇈")
+  call cornelis#bind_input("u-d-", "⇅")
+  call cornelis#bind_input("u-|", "↥")
+  call cornelis#bind_input("u-", "↑")
+  call cornelis#bind_input("u==", "⟰")
+  call cornelis#bind_input("u=", "⇑")
+  call cornelis#bind_input("uu-", "↟")
+  call cornelis#bind_input("uu", "ŭ")
+  call cornelis#bind_input("u{A}", "Ă")
+  call cornelis#bind_input("u{a}", "ă")
+  call cornelis#bind_input("u{E}", "Ĕ")
+  call cornelis#bind_input("u{e}", "ĕ")
+  call cornelis#bind_input("u{G}", "Ğ")
+  call cornelis#bind_input("u{g}", "ğ")
+  call cornelis#bind_input("u{I}", "Ĭ")
+  call cornelis#bind_input("u{O}", "Ŏ")
+  call cornelis#bind_input("u{o}", "ŏ")
+  call cornelis#bind_input("u{U}", "Ŭ")
+  call cornelis#bind_input("u{u}", "ŭ")
+  call cornelis#bind_input("u{}", "˘")
+  call cornelis#bind_input("u{i}", "ĭ")
+  call cornelis#bind_input("uA", "Ă")
+  call cornelis#bind_input("ua", "ă")
+  call cornelis#bind_input("uE", "Ĕ")
+  call cornelis#bind_input("ue", "ĕ")
+  call cornelis#bind_input("uG", "Ğ")
+  call cornelis#bind_input("ug", "ğ")
+  call cornelis#bind_input("uI", "Ĭ")
+  call cornelis#bind_input("ui", "ĭ")
+  call cornelis#bind_input("uO", "Ŏ")
+  call cornelis#bind_input("uo", "ŏ")
+  call cornelis#bind_input("uU", "Ŭ")
+  call cornelis#bind_input("upsilon", "υ")
+  call cornelis#bind_input("uparrow", "↑")
+  call cornelis#bind_input("updownarrow", "↕")
+  call cornelis#bind_input("upleftharpoon", "↿")
+  call cornelis#bind_input("uplus", "⊎")
+  call cornelis#bind_input("uprightharpoon", "↾")
+  call cornelis#bind_input("upuparrows", "⇈")
+  call cornelis#bind_input("And", "⋀")
+  call cornelis#bind_input("AA", "Å")
+  call cornelis#bind_input("AE", "Æ")
+  call cornelis#bind_input("Alpha", "Α")
+  call cornelis#bind_input("Or", "⋁")
+  call cornelis#bind_input("O+", "⨁")
+  call cornelis#bind_input("Ox", "⨂")
+  call cornelis#bind_input("O.", "⨀")
+  call cornelis#bind_input("O*", "⍟")
+  call cornelis#bind_input("OE", "Œ")
+  call cornelis#bind_input("Omicron", "Ο")
+  call cornelis#bind_input("Omega", "Ω")
+  call cornelis#bind_input("O", "Ø")
+  call cornelis#bind_input("Iota", "Ι")
+  call cornelis#bind_input("Im", "ℑ")
+  call cornelis#bind_input("I", "⋂")
+  call cornelis#bind_input("Un", "⋃")
+  call cornelis#bind_input("U+", "⨄")
+  call cornelis#bind_input("U.", "⨃")
+  call cornelis#bind_input("U{o}", "ő")
+  call cornelis#bind_input("Uo", "ő")
+  call cornelis#bind_input("Upsilon", "Υ")
+  call cornelis#bind_input("Uparrow", "⇑")
+  call cornelis#bind_input("Updownarrow", "⇕")
+  call cornelis#bind_input("Glb", "⨅")
+  call cornelis#bind_input("Gl-", "ƛ")
+  call cornelis#bind_input("Gl", "λ")
+  call cornelis#bind_input("Gamma", "Γ")
+  call cornelis#bind_input("Gangia", "Ϫ")
+  call cornelis#bind_input("Ga", "α")
+  call cornelis#bind_input("GA", "Α")
+  call cornelis#bind_input("Gb", "β")
+  call cornelis#bind_input("GB", "Β")
+  call cornelis#bind_input("Gg", "γ")
+  call cornelis#bind_input("GG", "Γ")
+  call cornelis#bind_input("Gd", "δ")
+  call cornelis#bind_input("GD", "Δ")
+  call cornelis#bind_input("Ge", "ε")
+  call cornelis#bind_input("GE", "Ε")
+  call cornelis#bind_input("Gz", "ζ")
+  call cornelis#bind_input("GZ", "Ζ")
+  call cornelis#bind_input("Gh", "η")
+  call cornelis#bind_input("GH", "Η")
+  call cornelis#bind_input("Gth", "θ")
+  call cornelis#bind_input("Gt", "τ")
+  call cornelis#bind_input("GTH", "Θ")
+  call cornelis#bind_input("GT", "Τ")
+  call cornelis#bind_input("Gi", "ι")
+  call cornelis#bind_input("GI", "Ι")
+  call cornelis#bind_input("Gk", "κ")
+  call cornelis#bind_input("GK", "Κ")
+  call cornelis#bind_input("GL", "Λ")
+  call cornelis#bind_input("Gm", "μ")
+  call cornelis#bind_input("GM", "Μ")
+  call cornelis#bind_input("Gn", "ν")
+  call cornelis#bind_input("GN", "Ν")
+  call cornelis#bind_input("Gx", "ξ")
+  call cornelis#bind_input("GX", "Ξ")
+  call cornelis#bind_input("Gr", "ρ")
+  call cornelis#bind_input("GR", "Ρ")
+  call cornelis#bind_input("Gs", "σ")
+  call cornelis#bind_input("GS", "Σ")
+  call cornelis#bind_input("Gu", "υ")
+  call cornelis#bind_input("GU", "Υ")
+  call cornelis#bind_input("Gf", "φ")
+  call cornelis#bind_input("GF", "Φ")
+  call cornelis#bind_input("Gc", "χ")
+  call cornelis#bind_input("GC", "Χ")
+  call cornelis#bind_input("Gp", "ψ")
+  call cornelis#bind_input("GP", "Ψ")
+  call cornelis#bind_input("Go", "ω")
+  call cornelis#bind_input("GO", "Ω")
+  call cornelis#bind_input("Lub", "⨆")
+  call cornelis#bind_input("Lamda", "Λ")
+  call cornelis#bind_input("Lambda", "Λ")
+  call cornelis#bind_input("Leftarrow", "⇐")
+  call cornelis#bind_input("Leftrightarrow", "⇔")
+  call cornelis#bind_input("Letter", "✉")
+  call cornelis#bind_input("Lleftarrow", "⇚")
+  call cornelis#bind_input("Ll", "⋘")
+  call cornelis#bind_input("Longleftarrow", "⇐")
+  call cornelis#bind_input("Longleftrightarrow", "⇔")
+  call cornelis#bind_input("Longrightarrow", "⇒")
+  call cornelis#bind_input("Lsh", "↰")
+  call cornelis#bind_input("L", "Ł")
+  call cornelis#bind_input("|-n", "⊬")
+  call cornelis#bind_input("|-", "⊢")
+  call cornelis#bind_input("|=n", "⊭")
+  call cornelis#bind_input("|=", "⊨")
+  call cornelis#bind_input("||-n", "⊮")
+  call cornelis#bind_input("||-", "⊩")
+  call cornelis#bind_input("||=n", "⊯")
+  call cornelis#bind_input("||=", "⊫")
+  call cornelis#bind_input("|||-", "⊪")
+  call cornelis#bind_input("||n", "∦")
+  call cornelis#bind_input("||", "∥")
+  call cornelis#bind_input("|n", "∤")
+  call cornelis#bind_input("|>", "⦊")
+  call cornelis#bind_input("|)", "⦈")
+  call cornelis#bind_input("|", "∣")
+  call cornelis#bind_input("0", "∅")
+  call cornelis#bind_input("Chi", "Χ")
+  call cornelis#bind_input("Cap", "⋒")
+  call cornelis#bind_input("Cup", "⋓")
+  call cornelis#bind_input("C", "∁")
+  call cornelis#bind_input("cul", "⌜")
+  call cornelis#bind_input("cuL", "⌈")
+  call cornelis#bind_input("currency", "¤")
+  call cornelis#bind_input("curlyeqprec", "⋞")
+  call cornelis#bind_input("curlyeqsucc", "⋟")
+  call cornelis#bind_input("curlypreceq", "≼")
+  call cornelis#bind_input("curlyvee", "⋎")
+  call cornelis#bind_input("curlywedge", "⋏")
+  call cornelis#bind_input("curvearrowleft", "↶")
+  call cornelis#bind_input("curvearrowright", "↷")
+  call cornelis#bind_input("cur", "⌝")
+  call cornelis#bind_input("cuR", "⌉")
+  call cornelis#bind_input("cup", "∪")
+  call cornelis#bind_input("cll", "⌞")
+  call cornelis#bind_input("clL", "⌊")
+  call cornelis#bind_input("clr", "⌟")
+  call cornelis#bind_input("clR", "⌋")
+  call cornelis#bind_input("close", "┤")
+  call cornelis#bind_input("clubsuit", "♣")
+  call cornelis#bind_input("complement", "∁")
+  call cornelis#bind_input("comp", "∘")
+  call cornelis#bind_input("copyright", "©")
+  call cornelis#bind_input("coprod", "∐")
+  call cornelis#bind_input("coloneq", "≔")
+  call cornelis#bind_input("colon", "₡")
+  call cornelis#bind_input("construction", "🚧")
+  call cornelis#bind_input("cong", "≅")
+  call cornelis#bind_input("coint", "∲")
+  call cornelis#bind_input("cib", "●")
+  call cornelis#bind_input("ciw", "○")
+  call cornelis#bind_input("ci..", "◌")
+  call cornelis#bind_input("ci.", "◎")
+  call cornelis#bind_input("ciO", "◯")
+  call cornelis#bind_input("circeq", "≗")
+  call cornelis#bind_input("circlearrowleft", "↺")
+  call cornelis#bind_input("circlearrowright", "↻")
+  call cornelis#bind_input("circledR", "®")
+  call cornelis#bind_input("circledS", "Ⓢ")
+  call cornelis#bind_input("circledast", "⊛")
+  call cornelis#bind_input("circledcirc", "⊚")
+  call cornelis#bind_input("circleddash", "⊝")
+  call cornelis#bind_input("circ", "∘")
+  call cornelis#bind_input("centerdot", "·")
+  call cornelis#bind_input("cent", "¢")
+  call cornelis#bind_input("cedi", "₵")
+  call cornelis#bind_input("celsius", "℃")
+  call cornelis#bind_input("ce", "ȩ")
+  call cornelis#bind_input("cdots", "⋯")
+  call cornelis#bind_input("cdot", "·")
+  call cornelis#bind_input("cd", "ḑ")
+  call cornelis#bind_input("c{C}", "Ç")
+  call cornelis#bind_input("c{c}", "ç")
+  call cornelis#bind_input("c{G}", "Ģ")
+  call cornelis#bind_input("c{g}", "ģ")
+  call cornelis#bind_input("c{K}", "Ķ")
+  call cornelis#bind_input("c{k}", "ķ")
+  call cornelis#bind_input("c{L}", "Ļ")
+  call cornelis#bind_input("c{l}", "ļ")
+  call cornelis#bind_input("c{N}", "Ņ")
+  call cornelis#bind_input("c{n}", "ņ")
+  call cornelis#bind_input("c{R}", "Ŗ")
+  call cornelis#bind_input("c{r}", "ŗ")
+  call cornelis#bind_input("c{S}", "Ş")
+  call cornelis#bind_input("c{s}", "ş")
+  call cornelis#bind_input("c{T}", "Ţ")
+  call cornelis#bind_input("c{t}", "ţ")
+  call cornelis#bind_input("c{E}", "Ȩ")
+  call cornelis#bind_input("c{e}", "ȩ")
+  call cornelis#bind_input("c{D}", "Ḑ")
+  call cornelis#bind_input("c{d}", "ḑ")
+  call cornelis#bind_input("c{H}", "Ḩ")
+  call cornelis#bind_input("c{h}", "ḩ")
+  call cornelis#bind_input("c{}", "¸")
+  call cornelis#bind_input("cC", "Ç")
+  call cornelis#bind_input("cc", "ç")
+  call cornelis#bind_input("cG", "Ģ")
+  call cornelis#bind_input("cg", "ģ")
+  call cornelis#bind_input("cK", "Ķ")
+  call cornelis#bind_input("ck", "ķ")
+  call cornelis#bind_input("cL", "Ļ")
+  call cornelis#bind_input("cN", "Ņ")
+  call cornelis#bind_input("cn", "ņ")
+  call cornelis#bind_input("cR", "Ŗ")
+  call cornelis#bind_input("cruzeiro", "₢")
+  call cornelis#bind_input("cr", "ŗ")
+  call cornelis#bind_input("cS", "Ş")
+  call cornelis#bind_input("cs", "ş")
+  call cornelis#bind_input("cT", "Ţ")
+  call cornelis#bind_input("ct", "ţ")
+  call cornelis#bind_input("cE", "Ȩ")
+  call cornelis#bind_input("cD", "Ḑ")
+  call cornelis#bind_input("cH", "Ḩ")
+  call cornelis#bind_input("checkmark", "✓")
+  call cornelis#bind_input("chi", "χ")
+  call cornelis#bind_input("ch", "ḩ")
+  call cornelis#bind_input("caution", "☡")
+  call cornelis#bind_input("cap", "∩")
+  call cornelis#bind_input("qed", "∎")
+  call cornelis#bind_input("qdrt", "∜")
+  call cornelis#bind_input("quad", " ")
+  call cornelis#bind_input("xi", "ξ")
+  call cornelis#bind_input("x", "×")
+  call cornelis#bind_input("+", "＋")
+  call cornelis#bind_input("z:", "⦂")
+  call cornelis#bind_input("zeta", "ζ")
+  call cornelis#bind_input("b+", "⊞")
+  call cornelis#bind_input("b-", "⊟")
+  call cornelis#bind_input("b.", "⊡")
+  call cornelis#bind_input("box=", "⌸")
+  call cornelis#bind_input("box?", "⍰")
+  call cornelis#bind_input("box'", "⍞")
+  call cornelis#bind_input("box:", "⍠")
+  call cornelis#bind_input("box/", "⍁")
+  call cornelis#bind_input("box<", "⍃")
+  call cornelis#bind_input("box>", "⍄")
+  call cornelis#bind_input("boxo", "⌻")
+  call cornelis#bind_input("boxO", "⌼")
+  call cornelis#bind_input("boxcomp", "⌻")
+  call cornelis#bind_input("boxcircle", "⌼")
+  call cornelis#bind_input("boxeqn", "⍯")
+  call cornelis#bind_input("boxeq", "⌸")
+  call cornelis#bind_input("boxneq", "⍯")
+  call cornelis#bind_input("boxnabla", "⍔")
+  call cornelis#bind_input("boxl", "⍇")
+  call cornelis#bind_input("boxr", "⍈")
+  call cornelis#bind_input("boxu", "⍐")
+  call cornelis#bind_input("boxdiv", "⌹")
+  call cornelis#bind_input("boxdi", "⌺")
+  call cornelis#bind_input("boxdelta", "⍍")
+  call cornelis#bind_input("boxd", "⍗")
+  call cornelis#bind_input("boxwedge", "⍓")
+  call cornelis#bind_input("boxvee", "⍌")
+  call cornelis#bind_input("boxminus", "⊟")
+  call cornelis#bind_input("boxplus", "⊞")
+  call cornelis#bind_input("boxtimes", "⊠")
+  call cornelis#bind_input("bot", "⊥")
+  call cornelis#bind_input("bowtie", "⋈")
+  call cornelis#bind_input("bo", "𝕠")
+  call cornelis#bind_input("bA", "𝔸")
+  call cornelis#bind_input("bB", "𝔹")
+  call cornelis#bind_input("bC", "ℂ")
+  call cornelis#bind_input("bD", "𝔻")
+  call cornelis#bind_input("bE", "𝔼")
+  call cornelis#bind_input("bF", "𝔽")
+  call cornelis#bind_input("bGG", "ℾ")
+  call cornelis#bind_input("bGP", "ℿ")
+  call cornelis#bind_input("bGS", "⅀")
+  call cornelis#bind_input("bGg", "ℽ")
+  call cornelis#bind_input("bGp", "ℼ")
+  call cornelis#bind_input("bG", "𝔾")
+  call cornelis#bind_input("bH", "ℍ")
+  call cornelis#bind_input("bI", "𝕀")
+  call cornelis#bind_input("bJ", "𝕁")
+  call cornelis#bind_input("bK", "𝕂")
+  call cornelis#bind_input("bL", "𝕃")
+  call cornelis#bind_input("bM", "𝕄")
+  call cornelis#bind_input("bN", "ℕ")
+  call cornelis#bind_input("bO", "𝕆")
+  call cornelis#bind_input("bP", "ℙ")
+  call cornelis#bind_input("bQ", "ℚ")
+  call cornelis#bind_input("bR", "ℝ")
+  call cornelis#bind_input("bS", "𝕊")
+  call cornelis#bind_input("bT", "𝕋")
+  call cornelis#bind_input("bU", "𝕌")
+  call cornelis#bind_input("bV", "𝕍")
+  call cornelis#bind_input("bW", "𝕎")
+  call cornelis#bind_input("bX", "𝕏")
+  call cornelis#bind_input("bY", "𝕐")
+  call cornelis#bind_input("bZ", "ℤ")
+  call cornelis#bind_input("backcong", "≌")
+  call cornelis#bind_input("backepsilon", "∍")
+  call cornelis#bind_input("backprime", "‵")
+  call cornelis#bind_input("backsimeq", "⋍")
+  call cornelis#bind_input("backsim", "∽")
+  call cornelis#bind_input("barwedge", "⊼")
+  call cornelis#bind_input("ba", "𝕒")
+  call cornelis#bind_input("bb", "𝕓")
+  call cornelis#bind_input("bc", "𝕔")
+  call cornelis#bind_input("bd", "𝕕")
+  call cornelis#bind_input("beta", "β")
+  call cornelis#bind_input("beth", "ℶ")
+  call cornelis#bind_input("between", "≬")
+  call cornelis#bind_input("because", "∵")
+  call cornelis#bind_input("begin", "〖")
+  call cornelis#bind_input("below", "┬")
+  call cornelis#bind_input("be", "𝕖")
+  call cornelis#bind_input("bf", "𝕗")
+  call cornelis#bind_input("bg", "𝕘")
+  call cornelis#bind_input("bh", "𝕙")
+  call cornelis#bind_input("bitcoin", "₿")
+  call cornelis#bind_input("biohazard", "☣")
+  call cornelis#bind_input("bigcap", "⋂")
+  call cornelis#bind_input("bigcirc", "◯")
+  call cornelis#bind_input("bigcup", "⋃")
+  call cornelis#bind_input("bigodot", "⨀")
+  call cornelis#bind_input("bigoplus", "⨁")
+  call cornelis#bind_input("bigotimes", "⨂")
+  call cornelis#bind_input("bigsqcup", "⨆")
+  call cornelis#bind_input("bigstar", "★")
+  call cornelis#bind_input("biguplus", "⨄")
+  call cornelis#bind_input("bigtriangledown", "▽")
+  call cornelis#bind_input("bigtriangleup", "△")
+  call cornelis#bind_input("bigvee", "⋁")
+  call cornelis#bind_input("bigwedge", "⋀")
+  call cornelis#bind_input("bi", "𝕚")
+  call cornelis#bind_input("bj", "𝕛")
+  call cornelis#bind_input("bk", "𝕜")
+  call cornelis#bind_input("blacklozenge", "✦")
+  call cornelis#bind_input("blacksquare", "▪")
+  call cornelis#bind_input("blacksmiley", "☻")
+  call cornelis#bind_input("blacktriangledown", "▾")
+  call cornelis#bind_input("blacktriangleleft", "◂")
+  call cornelis#bind_input("blacktriangleright", "▸")
+  call cornelis#bind_input("blacktriangle", "▴")
+  call cornelis#bind_input("bl", "𝕝")
+  call cornelis#bind_input("bm", "𝕞")
+  call cornelis#bind_input("bn", "𝕟")
+  call cornelis#bind_input("bp", "𝕡")
+  call cornelis#bind_input("bq", "𝕢")
+  call cornelis#bind_input("brokenbar", "¦")
+  call cornelis#bind_input("bra", "⟨")
+  call cornelis#bind_input("br", "𝕣")
+  call cornelis#bind_input("bs", "𝕤")
+  call cornelis#bind_input("bt", "𝕥")
+  call cornelis#bind_input("bub", "•")
+  call cornelis#bind_input("buw", "◦")
+  call cornelis#bind_input("but", "‣")
+  call cornelis#bind_input("bumpeq", "≏")
+  call cornelis#bind_input("bv", "𝕧")
+  call cornelis#bind_input("bw", "𝕨")
+  call cornelis#bind_input("by", "𝕪")
+  call cornelis#bind_input("bz", "𝕫")
+  call cornelis#bind_input("b0", "𝟘")
+  call cornelis#bind_input("b1", "𝟙")
+  call cornelis#bind_input("b2", "𝟚")
+  call cornelis#bind_input("b3", "𝟛")
+  call cornelis#bind_input("b4", "𝟜")
+  call cornelis#bind_input("b5", "𝟝")
+  call cornelis#bind_input("b6", "𝟞")
+  call cornelis#bind_input("b7", "𝟟")
+  call cornelis#bind_input("b8", "𝟠")
+  call cornelis#bind_input("b9", "𝟡")
+  call cornelis#bind_input("jj", "ⅉ")
+  call cornelis#bind_input("jmath", "ȷ")
+  call cornelis#bind_input("r-2", "⇉")
+  call cornelis#bind_input("r-3", "⇶")
+  call cornelis#bind_input("r-l-", "⇄")
+  call cornelis#bind_input("r--", "⟶")
+  call cornelis#bind_input("r-n", "↛")
+  call cornelis#bind_input("r-|", "↦")
+  call cornelis#bind_input("r->", "↣")
+  call cornelis#bind_input("r-o", "⊸")
+  call cornelis#bind_input("r-", "→")
+  call cornelis#bind_input("r==", "⇛")
+  call cornelis#bind_input("r=n", "⇏")
+  call cornelis#bind_input("r=", "⇒")
+  call cornelis#bind_input("rr-", "↠")
+  call cornelis#bind_input("rrect", "▢")
+  call cornelis#bind_input("rrbracket", "〛")
+  call cornelis#bind_input("registered", "®")
+  call cornelis#bind_input("rect", "▭")
+  call cornelis#bind_input("rbag", "⟆")
+  call cornelis#bind_input("rq", "’")
+  call cornelis#bind_input("rupee", "₨")
+  call cornelis#bind_input("ruble", "₽")
+  call cornelis#bind_input("radioactive", "☢")
+  call cornelis#bind_input("rangle", "⟩")
+  call cornelis#bind_input("ratio", "∶")
+  call cornelis#bind_input("rial", "﷼")
+  call cornelis#bind_input("rightarrowtail", "↣")
+  call cornelis#bind_input("rightarrow", "→")
+  call cornelis#bind_input("rightharpoondown", "⇁")
+  call cornelis#bind_input("rightharpoonup", "⇀")
+  call cornelis#bind_input("rightleftarrows", "⇄")
+  call cornelis#bind_input("rightleftharpoons", "⇌")
+  call cornelis#bind_input("rightrightarrows", "⇉")
+  call cornelis#bind_input("rightthreetimes", "⋌")
+  call cornelis#bind_input("risingdotseq", "≓")
+  call cornelis#bind_input("rho", "ρ")
+  call cornelis#bind_input("rhd", "▷")
+  call cornelis#bind_input("rceil", "⌉")
+  call cornelis#bind_input("rddots", "⋰")
+  call cornelis#bind_input("rdq", "”")
+  call cornelis#bind_input("rdata", "》")
+  call cornelis#bind_input("rfloor", "⌋")
+  call cornelis#bind_input("rtimes", "⋊")
+  call cornelis#bind_input("Theta", "Θ")
+  call cornelis#bind_input("Tau", "Τ")
+  call cornelis#bind_input("TH", "Þ")
+  call cornelis#bind_input("pab", "▰")
+  call cornelis#bind_input("paw", "▱")
+  call cornelis#bind_input("paragraph", "¶")
+  call cornelis#bind_input("parallel", "∥")
+  call cornelis#bind_input("partnership", "㉐")
+  call cornelis#bind_input("partial", "∂")
+  call cornelis#bind_input("pounds", "£")
+  call cornelis#bind_input("pound", "£")
+  call cornelis#bind_input("pm", "±")
+  call cornelis#bind_input("pilcrow", "¶")
+  call cornelis#bind_input("pitchfork", "⋔")
+  call cornelis#bind_input("pi", "π")
+  call cornelis#bind_input("peseta", "₧")
+  call cornelis#bind_input("peso", "₱")
+  call cornelis#bind_input("perp", "⊥")
+  call cornelis#bind_input("permil", "‰")
+  call cornelis#bind_input("per", "⅌")
+  call cornelis#bind_input("prohibited", "🛇")
+  call cornelis#bind_input("prod", "∏")
+  call cornelis#bind_input("propto", "∝")
+  call cornelis#bind_input("prcue", "≼")
+  call cornelis#bind_input("precapprox", "≾")
+  call cornelis#bind_input("preceq", "≼")
+  call cornelis#bind_input("precnapprox", "⋨")
+  call cornelis#bind_input("precnsim", "⋨")
+  call cornelis#bind_input("precsim", "≾")
+  call cornelis#bind_input("prec", "≺")
+  call cornelis#bind_input("prime", "′")
+  call cornelis#bind_input("psi", "ψ")
+  call cornelis#bind_input("phi", "ϕ")
+  call cornelis#bind_input("phantom", "⟡")
+  call cornelis#bind_input("pppprime", "⁗")
+  call cornelis#bind_input("ppprime", "‴")
+  call cornelis#bind_input("pprime", "″")
+  call cornelis#bind_input("BA", "𝐀")
+  call cornelis#bind_input("BB", "𝐁")
+  call cornelis#bind_input("BC", "𝐂")
+  call cornelis#bind_input("BD", "𝐃")
+  call cornelis#bind_input("BE", "𝐄")
+  call cornelis#bind_input("BF", "𝐅")
+  call cornelis#bind_input("BGA", "𝚨")
+  call cornelis#bind_input("BGB", "𝚩")
+  call cornelis#bind_input("BGC", "𝚾")
+  call cornelis#bind_input("BGD", "𝚫")
+  call cornelis#bind_input("BGE", "𝚬")
+  call cornelis#bind_input("BGG", "𝚪")
+  call cornelis#bind_input("BGH", "𝚮")
+  call cornelis#bind_input("BGI", "𝚰")
+  call cornelis#bind_input("BGK", "𝚱")
+  call cornelis#bind_input("BGL", "𝚲")
+  call cornelis#bind_input("BGM", "𝚳")
+  call cornelis#bind_input("BGN", "𝚴")
+  call cornelis#bind_input("BGO", "𝛀")
+  call cornelis#bind_input("BGF", "𝚽")
+  call cornelis#bind_input("BGP", "𝚿")
+  call cornelis#bind_input("BGR", "𝚸")
+  call cornelis#bind_input("BGS", "𝚺")
+  call cornelis#bind_input("BGTH", "𝚯")
+  call cornelis#bind_input("BGT", "𝚻")
+  call cornelis#bind_input("BGU", "𝚼")
+  call cornelis#bind_input("BGX", "𝚵")
+  call cornelis#bind_input("BGZ", "𝚭")
+  call cornelis#bind_input("BGa", "𝛂")
+  call cornelis#bind_input("BGb", "𝛃")
+  call cornelis#bind_input("BGc", "𝛘")
+  call cornelis#bind_input("BGd", "𝛅")
+  call cornelis#bind_input("BGe", "𝛆")
+  call cornelis#bind_input("BGg", "𝛄")
+  call cornelis#bind_input("BGh", "𝛈")
+  call cornelis#bind_input("BGi", "𝛊")
+  call cornelis#bind_input("BGk", "𝛋")
+  call cornelis#bind_input("BGl", "𝛌")
+  call cornelis#bind_input("BGm", "𝛍")
+  call cornelis#bind_input("BGn", "𝛎")
+  call cornelis#bind_input("BGo", "𝛚")
+  call cornelis#bind_input("BGf", "𝛗")
+  call cornelis#bind_input("BGp", "𝛙")
+  call cornelis#bind_input("BGr", "𝛒")
+  call cornelis#bind_input("BGs", "𝛔")
+  call cornelis#bind_input("BGth", "𝛉")
+  call cornelis#bind_input("BGt", "𝛕")
+  call cornelis#bind_input("BGu", "𝛖")
+  call cornelis#bind_input("BGx", "𝛏")
+  call cornelis#bind_input("BGz", "𝛇")
+  call cornelis#bind_input("BG", "𝐆")
+  call cornelis#bind_input("BH", "𝐇")
+  call cornelis#bind_input("BI", "𝐈")
+  call cornelis#bind_input("BJ", "𝐉")
+  call cornelis#bind_input("BK", "𝐊")
+  call cornelis#bind_input("BL", "𝐋")
+  call cornelis#bind_input("BM", "𝐌")
+  call cornelis#bind_input("BN", "𝐍")
+  call cornelis#bind_input("BOmicron", "𝚶")
+  call cornelis#bind_input("BO", "𝐎")
+  call cornelis#bind_input("BPi", "𝚷")
+  call cornelis#bind_input("BP", "𝐏")
+  call cornelis#bind_input("BQ", "𝐐")
+  call cornelis#bind_input("BR", "𝐑")
+  call cornelis#bind_input("BS", "𝐒")
+  call cornelis#bind_input("BT", "𝐓")
+  call cornelis#bind_input("BU", "𝐔")
+  call cornelis#bind_input("BV", "𝐕")
+  call cornelis#bind_input("BW", "𝐖")
+  call cornelis#bind_input("BX", "𝐗")
+  call cornelis#bind_input("BY", "𝐘")
+  call cornelis#bind_input("BZ", "𝐙")
+  call cornelis#bind_input("Ba", "𝐚")
+  call cornelis#bind_input("Bbb{A}", "𝔸")
+  call cornelis#bind_input("Bbb{B}", "𝔹")
+  call cornelis#bind_input("Bbb{C}", "ℂ")
+  call cornelis#bind_input("Bbb{D}", "𝔻")
+  call cornelis#bind_input("Bbb{E}", "𝔼")
+  call cornelis#bind_input("Bbb{F}", "𝔽")
+  call cornelis#bind_input("Bbb{G}", "𝔾")
+  call cornelis#bind_input("Bbb{H}", "ℍ")
+  call cornelis#bind_input("Bbb{I}", "𝕀")
+  call cornelis#bind_input("Bbb{J}", "𝕁")
+  call cornelis#bind_input("Bbb{K}", "𝕂")
+  call cornelis#bind_input("Bbb{L}", "𝕃")
+  call cornelis#bind_input("Bbb{M}", "𝕄")
+  call cornelis#bind_input("Bbb{N}", "ℕ")
+  call cornelis#bind_input("Bbb{O}", "𝕆")
+  call cornelis#bind_input("Bbb{P}", "ℙ")
+  call cornelis#bind_input("Bbb{Q}", "ℚ")
+  call cornelis#bind_input("Bbb{R}", "ℝ")
+  call cornelis#bind_input("Bbb{S}", "𝕊")
+  call cornelis#bind_input("Bbb{T}", "𝕋")
+  call cornelis#bind_input("Bbb{U}", "𝕌")
+  call cornelis#bind_input("Bbb{V}", "𝕍")
+  call cornelis#bind_input("Bbb{W}", "𝕎")
+  call cornelis#bind_input("Bbb{X}", "𝕏")
+  call cornelis#bind_input("Bbb{Y}", "𝕐")
+  call cornelis#bind_input("Bbb{Z}", "ℤ")
+  call cornelis#bind_input("Bbb{1}", "𝟙")
+  call cornelis#bind_input("Bbb{2}", "𝟚")
+  call cornelis#bind_input("Bb", "𝐛")
+  call cornelis#bind_input("Bc", "𝐜")
+  call cornelis#bind_input("Bd", "𝐝")
+  call cornelis#bind_input("Beta", "Β")
+  call cornelis#bind_input("Be", "𝐞")
+  call cornelis#bind_input("Bf", "𝐟")
+  call cornelis#bind_input("Bg", "𝐠")
+  call cornelis#bind_input("Bh", "𝐡")
+  call cornelis#bind_input("Bi", "𝐢")
+  call cornelis#bind_input("Bj", "𝐣")
+  call cornelis#bind_input("Bk", "𝐤")
+  call cornelis#bind_input("Bl", "𝐥")
+  call cornelis#bind_input("Bm", "𝐦")
+  call cornelis#bind_input("Bn", "𝐧")
+  call cornelis#bind_input("Bomicron", "𝛐")
+  call cornelis#bind_input("Box", "□")
+  call cornelis#bind_input("Bo", "𝐨")
+  call cornelis#bind_input("Bpi", "𝛑")
+  call cornelis#bind_input("Bp", "𝐩")
+  call cornelis#bind_input("Bq", "𝐪")
+  call cornelis#bind_input("Br", "𝐫")
+  call cornelis#bind_input("Bs", "𝐬")
+  call cornelis#bind_input("Bt", "𝐭")
+  call cornelis#bind_input("Bumpeq", "≎")
+  call cornelis#bind_input("Bu", "𝐮")
+  call cornelis#bind_input("Bv", "𝐯")
+  call cornelis#bind_input("Bw", "𝐰")
+  call cornelis#bind_input("Bx", "𝐱")
+  call cornelis#bind_input("By", "𝐲")
+  call cornelis#bind_input("Bz", "𝐳")
+  call cornelis#bind_input("B0", "𝟎")
+  call cornelis#bind_input("B1", "𝟏")
+  call cornelis#bind_input("B2", "𝟐")
+  call cornelis#bind_input("B3", "𝟑")
+  call cornelis#bind_input("B4", "𝟒")
+  call cornelis#bind_input("B5", "𝟓")
+  call cornelis#bind_input("B6", "𝟔")
+  call cornelis#bind_input("B7", "𝟕")
+  call cornelis#bind_input("B8", "𝟖")
+  call cornelis#bind_input("B9", "𝟗")
+  call cornelis#bind_input("FA", "Ａ")
+  call cornelis#bind_input("FB", "Ｂ")
+  call cornelis#bind_input("FC", "Ｃ")
+  call cornelis#bind_input("FD", "Ｄ")
+  call cornelis#bind_input("FE", "Ｅ")
+  call cornelis#bind_input("FF", "Ｆ")
+  call cornelis#bind_input("FG", "Ｇ")
+  call cornelis#bind_input("FH", "Ｈ")
+  call cornelis#bind_input("FI", "Ｉ")
+  call cornelis#bind_input("FJ", "Ｊ")
+  call cornelis#bind_input("FK", "Ｋ")
+  call cornelis#bind_input("FL", "Ｌ")
+  call cornelis#bind_input("FM", "Ｍ")
+  call cornelis#bind_input("FN", "Ｎ")
+  call cornelis#bind_input("FO", "Ｏ")
+  call cornelis#bind_input("FP", "Ｐ")
+  call cornelis#bind_input("FQ", "Ｑ")
+  call cornelis#bind_input("FR", "Ｒ")
+  call cornelis#bind_input("FS", "Ｓ")
+  call cornelis#bind_input("FT", "Ｔ")
+  call cornelis#bind_input("FU", "Ｕ")
+  call cornelis#bind_input("FV", "Ｖ")
+  call cornelis#bind_input("FW", "Ｗ")
+  call cornelis#bind_input("FX", "Ｘ")
+  call cornelis#bind_input("FY", "Ｙ")
+  call cornelis#bind_input("FZ", "Ｚ")
+  call cornelis#bind_input("Fa", "ａ")
+  call cornelis#bind_input("Fb", "ｂ")
+  call cornelis#bind_input("Fc", "ｃ")
+  call cornelis#bind_input("Fd", "ｄ")
+  call cornelis#bind_input("Fei", "Ϥ")
+  call cornelis#bind_input("Fe", "ｅ")
+  call cornelis#bind_input("Ff", "ｆ")
+  call cornelis#bind_input("Fg", "ｇ")
+  call cornelis#bind_input("Fh", "ｈ")
+  call cornelis#bind_input("Fi", "ｉ")
+  call cornelis#bind_input("Fj", "ｊ")
+  call cornelis#bind_input("Fk", "ｋ")
+  call cornelis#bind_input("Fl", "ｌ")
+  call cornelis#bind_input("Fm", "ｍ")
+  call cornelis#bind_input("Fn", "ｎ")
+  call cornelis#bind_input("Fo", "ｏ")
+  call cornelis#bind_input("Fp", "ｐ")
+  call cornelis#bind_input("Fq", "ｑ")
+  call cornelis#bind_input("Frowny", "☹")
+  call cornelis#bind_input("Fr", "ｒ")
+  call cornelis#bind_input("Fs", "ｓ")
+  call cornelis#bind_input("Ft", "ｔ")
+  call cornelis#bind_input("Fu", "ｕ")
+  call cornelis#bind_input("Fv", "ｖ")
+  call cornelis#bind_input("Fw", "ｗ")
+  call cornelis#bind_input("Fx", "ｘ")
+  call cornelis#bind_input("Fy", "ｙ")
+  call cornelis#bind_input("Fz", "ｚ")
+  call cornelis#bind_input("F0", "０")
+  call cornelis#bind_input("F1", "１")
+  call cornelis#bind_input("F2", "２")
+  call cornelis#bind_input("F3", "３")
+  call cornelis#bind_input("F4", "４")
+  call cornelis#bind_input("F5", "５")
+  call cornelis#bind_input("F6", "６")
+  call cornelis#bind_input("F7", "７")
+  call cornelis#bind_input("F8", "８")
+  call cornelis#bind_input("F9", "９")
+  call cornelis#bind_input(")b", "⟆")
+  call cornelis#bind_input("[[", "⟦")
+  call cornelis#bind_input("]]", "⟧")
+  call cornelis#bind_input("{{", "⦃")
+  call cornelis#bind_input("}}", "⦄")
+  call cornelis#bind_input("'{A}", "Á")
+  call cornelis#bind_input("'{E}", "É")
+  call cornelis#bind_input("'{I}", "Í")
+  call cornelis#bind_input("'{O}", "Ó")
+  call cornelis#bind_input("'{U}", "Ú")
+  call cornelis#bind_input("'{Y}", "Ý")
+  call cornelis#bind_input("'{a}", "á")
+  call cornelis#bind_input("'{e}", "é")
+  call cornelis#bind_input("'{i}", "í")
+  call cornelis#bind_input("'{o}", "ó")
+  call cornelis#bind_input("'{u}", "ú")
+  call cornelis#bind_input("'{y}", "ý")
+  call cornelis#bind_input("'{C}", "Ć")
+  call cornelis#bind_input("'{c}", "ć")
+  call cornelis#bind_input("'{L}", "Ĺ")
+  call cornelis#bind_input("'{l}", "ĺ")
+  call cornelis#bind_input("'{N}", "Ń")
+  call cornelis#bind_input("'{n}", "ń")
+  call cornelis#bind_input("'{R}", "Ŕ")
+  call cornelis#bind_input("'{r}", "ŕ")
+  call cornelis#bind_input("'{S}", "Ś")
+  call cornelis#bind_input("'{s}", "ś")
+  call cornelis#bind_input("'{Z}", "Ź")
+  call cornelis#bind_input("'{z}", "ź")
+  call cornelis#bind_input("'{G}", "Ǵ")
+  call cornelis#bind_input("'{g}", "ǵ")
+  call cornelis#bind_input("'{K}", "Ḱ")
+  call cornelis#bind_input("'{k}", "ḱ")
+  call cornelis#bind_input("'{M}", "Ḿ")
+  call cornelis#bind_input("'{m}", "ḿ")
+  call cornelis#bind_input("'{P}", "Ṕ")
+  call cornelis#bind_input("'{p}", "ṕ")
+  call cornelis#bind_input("'{W}", "Ẃ")
+  call cornelis#bind_input("'{w}", "ẃ")
+  call cornelis#bind_input("'{}", "´")
+  call cornelis#bind_input("'A", "Á")
+  call cornelis#bind_input("'E", "É")
+  call cornelis#bind_input("'I", "Í")
+  call cornelis#bind_input("'O", "Ó")
+  call cornelis#bind_input("'U", "Ú")
+  call cornelis#bind_input("'Y", "Ý")
+  call cornelis#bind_input("'a", "á")
+  call cornelis#bind_input("'e", "é")
+  call cornelis#bind_input("'i", "í")
+  call cornelis#bind_input("'o", "ó")
+  call cornelis#bind_input("'u", "ú")
+  call cornelis#bind_input("'y", "ý")
+  call cornelis#bind_input("'C", "Ć")
+  call cornelis#bind_input("'c", "ć")
+  call cornelis#bind_input("'L", "Ĺ")
+  call cornelis#bind_input("'l", "ĺ")
+  call cornelis#bind_input("'N", "Ń")
+  call cornelis#bind_input("'n", "ń")
+  call cornelis#bind_input("'R", "Ŕ")
+  call cornelis#bind_input("'r", "ŕ")
+  call cornelis#bind_input("'S", "Ś")
+  call cornelis#bind_input("'s", "ś")
+  call cornelis#bind_input("'Z", "Ź")
+  call cornelis#bind_input("'z", "ź")
+  call cornelis#bind_input("'G", "Ǵ")
+  call cornelis#bind_input("'g", "ǵ")
+  call cornelis#bind_input("'K", "Ḱ")
+  call cornelis#bind_input("'k", "ḱ")
+  call cornelis#bind_input("'M", "Ḿ")
+  call cornelis#bind_input("'m", "ḿ")
+  call cornelis#bind_input("'P", "Ṕ")
+  call cornelis#bind_input("'p", "ṕ")
+  call cornelis#bind_input("'W", "Ẃ")
+  call cornelis#bind_input("'w", "ẃ")
+  call cornelis#bind_input("`{A}", "À")
+  call cornelis#bind_input("`{E}", "È")
+  call cornelis#bind_input("`{I}", "Ì")
+  call cornelis#bind_input("`{O}", "Ò")
+  call cornelis#bind_input("`{U}", "Ù")
+  call cornelis#bind_input("`{a}", "à")
+  call cornelis#bind_input("`{e}", "è")
+  call cornelis#bind_input("`{i}", "ì")
+  call cornelis#bind_input("`{o}", "ò")
+  call cornelis#bind_input("`{u}", "ù")
+  call cornelis#bind_input("`{N}", "Ǹ")
+  call cornelis#bind_input("`{n}", "ǹ")
+  call cornelis#bind_input("`{W}", "Ẁ")
+  call cornelis#bind_input("`{w}", "ẁ")
+  call cornelis#bind_input("`{Y}", "Ỳ")
+  call cornelis#bind_input("`{y}", "ỳ")
+  call cornelis#bind_input("`A", "À")
+  call cornelis#bind_input("`E", "È")
+  call cornelis#bind_input("`I", "Ì")
+  call cornelis#bind_input("`O", "Ò")
+  call cornelis#bind_input("`U", "Ù")
+  call cornelis#bind_input("`a", "à")
+  call cornelis#bind_input("`e", "è")
+  call cornelis#bind_input("`i", "ì")
+  call cornelis#bind_input("`o", "ò")
+  call cornelis#bind_input("`u", "ù")
+  call cornelis#bind_input("`N", "Ǹ")
+  call cornelis#bind_input("`n", "ǹ")
+  call cornelis#bind_input("`W", "Ẁ")
+  call cornelis#bind_input("`w", "ẁ")
+  call cornelis#bind_input("`Y", "Ỳ")
+  call cornelis#bind_input("`y", "ỳ")
+  call cornelis#bind_input("frac12", "½")
+  call cornelis#bind_input("frac13", "⅓")
+  call cornelis#bind_input("frac14", "¼")
+  call cornelis#bind_input("frac15", "⅕")
+  call cornelis#bind_input("frac16", "⅙")
+  call cornelis#bind_input("frac18", "⅛")
+  call cornelis#bind_input("frac1", "⅟")
+  call cornelis#bind_input("frac23", "⅔")
+  call cornelis#bind_input("frac25", "⅖")
+  call cornelis#bind_input("frac34", "¾")
+  call cornelis#bind_input("frac35", "⅗")
+  call cornelis#bind_input("frac38", "⅜")
+  call cornelis#bind_input("frac45", "⅘")
+  call cornelis#bind_input("frac56", "⅚")
+  call cornelis#bind_input("frac58", "⅝")
+  call cornelis#bind_input("frac78", "⅞")
+  call cornelis#bind_input("frown", "⌢")
+  call cornelis#bind_input("frqq", "»")
+  call cornelis#bind_input("frq", "›")
+  call cornelis#bind_input("facsimile", "℻")
+  call cornelis#bind_input("fallingdotseq", "≒")
+  call cornelis#bind_input("female", "♀")
+  call cornelis#bind_input("fei", "ϥ")
+  call cornelis#bind_input("flat", "♭")
+  call cornelis#bind_input("flqq", "«")
+  call cornelis#bind_input("flq", "‹")
+  call cornelis#bind_input("forall", "∀")
+  call cornelis#bind_input("!!", "‼")
+  call cornelis#bind_input("!?", "⁉")
+  call cornelis#bind_input("%", "％")
+  call cornelis#bind_input("@", "＠")
+  call cornelis#bind_input("__", "＿")
+  call cornelis#bind_input("_-", "₋")
+  call cornelis#bind_input("_~", "̰")
+  call cornelis#bind_input("_lr", "͍")
+  call cornelis#bind_input("_l", "ₗ")
+  call cornelis#bind_input("_a", "ₐ")
+  call cornelis#bind_input("_e", "ₑ")
+  call cornelis#bind_input("_h", "ₕ")
+  call cornelis#bind_input("_i", "ᵢ")
+  call cornelis#bind_input("_j", "ⱼ")
+  call cornelis#bind_input("_k", "ₖ")
+  call cornelis#bind_input("_m", "ₘ")
+  call cornelis#bind_input("_n", "ₙ")
+  call cornelis#bind_input("_o", "ₒ")
+  call cornelis#bind_input("_p", "ₚ")
+  call cornelis#bind_input("_r", "ᵣ")
+  call cornelis#bind_input("_s", "ₛ")
+  call cornelis#bind_input("_t", "ₜ")
+  call cornelis#bind_input("_u", "ᵤ")
+  call cornelis#bind_input("_x", "ₓ")
+  call cornelis#bind_input("_Gb", "ᵦ")
+  call cornelis#bind_input("_Gg", "ᵧ")
+  call cornelis#bind_input("_Gr", "ᵨ")
+  call cornelis#bind_input("_Gf", "ᵩ")
+  call cornelis#bind_input("_Gc", "ᵪ")
+  call cornelis#bind_input("_0", "₀")
+  call cornelis#bind_input("_1", "₁")
+  call cornelis#bind_input("_2", "₂")
+  call cornelis#bind_input("_3", "₃")
+  call cornelis#bind_input("_4", "₄")
+  call cornelis#bind_input("_5", "₅")
+  call cornelis#bind_input("_6", "₆")
+  call cornelis#bind_input("_7", "₇")
+  call cornelis#bind_input("_8", "₈")
+  call cornelis#bind_input("_9", "₉")
+  call cornelis#bind_input("_+", "₊")
+  call cornelis#bind_input("_=", "₌")
+  call cornelis#bind_input("_(", "₍")
+  call cornelis#bind_input("_)", "₎")
+  call cornelis#bind_input(""{A}", "Ä")
+  call cornelis#bind_input(""{E}", "Ë")
+  call cornelis#bind_input(""{I}", "Ï")
+  call cornelis#bind_input(""{O}", "Ö")
+  call cornelis#bind_input(""{U}", "Ü")
+  call cornelis#bind_input(""{a}", "ä")
+  call cornelis#bind_input(""{e}", "ë")
+  call cornelis#bind_input(""{i}", "ï")
+  call cornelis#bind_input(""{o}", "ö")
+  call cornelis#bind_input(""{u}", "ü")
+  call cornelis#bind_input(""{y}", "ÿ")
+  call cornelis#bind_input(""{Y}", "Ÿ")
+  call cornelis#bind_input(""{H}", "Ḧ")
+  call cornelis#bind_input(""{h}", "ḧ")
+  call cornelis#bind_input(""{W}", "Ẅ")
+  call cornelis#bind_input(""{w}", "ẅ")
+  call cornelis#bind_input(""{X}", "Ẍ")
+  call cornelis#bind_input(""{x}", "ẍ")
+  call cornelis#bind_input(""{t}", "ẗ")
+  call cornelis#bind_input(""{}", "¨")
+  call cornelis#bind_input(""A", "Ä")
+  call cornelis#bind_input(""E", "Ë")
+  call cornelis#bind_input(""I", "Ï")
+  call cornelis#bind_input(""O", "Ö")
+  call cornelis#bind_input(""U", "Ü")
+  call cornelis#bind_input(""a", "ä")
+  call cornelis#bind_input(""e", "ë")
+  call cornelis#bind_input(""i", "ï")
+  call cornelis#bind_input(""o", "ö")
+  call cornelis#bind_input(""u", "ü")
+  call cornelis#bind_input(""y", "ÿ")
+  call cornelis#bind_input(""Y", "Ÿ")
+  call cornelis#bind_input(""H", "Ḧ")
+  call cornelis#bind_input(""h", "ḧ")
+  call cornelis#bind_input(""W", "Ẅ")
+  call cornelis#bind_input(""w", "ẅ")
+  call cornelis#bind_input(""X", "Ẍ")
+  call cornelis#bind_input(""x", "ẍ")
+  call cornelis#bind_input(""t", "ẗ")
+  call cornelis#bind_input(""`", "„")
+  call cornelis#bind_input(""'", "“")
+  call cornelis#bind_input(""<", "«")
+  call cornelis#bind_input("">", "»")
+  call cornelis#bind_input("^-", "⁻")
+  call cornelis#bind_input("^l-", "⃖")
+  call cornelis#bind_input("^lr", "⃡")
+  call cornelis#bind_input("^r-", "⃗")
+  call cornelis#bind_input("^a_", "ª")
+  call cornelis#bind_input("^b", "ᵇ")
+  call cornelis#bind_input("^d", "ᵈ")
+  call cornelis#bind_input("^f", "ᶠ")
+  call cornelis#bind_input("^k", "ᵏ")
+  call cornelis#bind_input("^m", "ᵐ")
+  call cornelis#bind_input("^n", "ⁿ")
+  call cornelis#bind_input("^o_", "º")
+  call cornelis#bind_input("^p", "ᵖ")
+  call cornelis#bind_input("^t", "ᵗ")
+  call cornelis#bind_input("^x", "ˣ")
+  call cornelis#bind_input("^B", "ᴮ")
+  call cornelis#bind_input("^D", "ᴰ")
+  call cornelis#bind_input("^Gb", "ᵝ")
+  call cornelis#bind_input("^Gg", "ᵞ")
+  call cornelis#bind_input("^Gd", "ᵟ")
+  call cornelis#bind_input("^Ge", "ᵋ")
+  call cornelis#bind_input("^Gth", "ᶿ")
+  call cornelis#bind_input("^Gf", "ᵠ")
+  call cornelis#bind_input("^Gc", "ᵡ")
+  call cornelis#bind_input("^K", "ᴷ")
+  call cornelis#bind_input("^L", "ᴸ")
+  call cornelis#bind_input("^M", "ᴹ")
+  call cornelis#bind_input("^N", "ᴺ")
+  call cornelis#bind_input("^P", "ᴾ")
+  call cornelis#bind_input("^R", "ᴿ")
+  call cornelis#bind_input("^T", "ᵀ")
+  call cornelis#bind_input("^V", "ⱽ")
+  call cornelis#bind_input("^{A}", "Â")
+  call cornelis#bind_input("^{E}", "Ê")
+  call cornelis#bind_input("^{I}", "Î")
+  call cornelis#bind_input("^{O}", "Ô")
+  call cornelis#bind_input("^{U}", "Û")
+  call cornelis#bind_input("^{a}", "â")
+  call cornelis#bind_input("^{e}", "ê")
+  call cornelis#bind_input("^{i}", "î")
+  call cornelis#bind_input("^{o}", "ô")
+  call cornelis#bind_input("^{u}", "û")
+  call cornelis#bind_input("^{C}", "Ĉ")
+  call cornelis#bind_input("^{c}", "ĉ")
+  call cornelis#bind_input("^{G}", "Ĝ")
+  call cornelis#bind_input("^{g}", "ĝ")
+  call cornelis#bind_input("^{H}", "Ĥ")
+  call cornelis#bind_input("^{h}", "ĥ")
+  call cornelis#bind_input("^{J}", "Ĵ")
+  call cornelis#bind_input("^{j}", "ĵ")
+  call cornelis#bind_input("^{S}", "Ŝ")
+  call cornelis#bind_input("^{SM}", "℠")
+  call cornelis#bind_input("^{s}", "ŝ")
+  call cornelis#bind_input("^{W}", "Ŵ")
+  call cornelis#bind_input("^{w}", "ŵ")
+  call cornelis#bind_input("^{Y}", "Ŷ")
+  call cornelis#bind_input("^{y}", "ŷ")
+  call cornelis#bind_input("^{Z}", "Ẑ")
+  call cornelis#bind_input("^{z}", "ẑ")
+  call cornelis#bind_input("^{TEL}", "℡")
+  call cornelis#bind_input("^{TM}", "™")
+  call cornelis#bind_input("^S", "Ŝ")
+  call cornelis#bind_input("^Y", "Ŷ")
+  call cornelis#bind_input("^Z", "Ẑ")
+  call cornelis#bind_input("^2", "²")
+  call cornelis#bind_input("^3", "³")
+  call cornelis#bind_input("^1", "¹")
+  call cornelis#bind_input("^0", "⁰")
+  call cornelis#bind_input("^4", "⁴")
+  call cornelis#bind_input("^5", "⁵")
+  call cornelis#bind_input("^6", "⁶")
+  call cornelis#bind_input("^7", "⁷")
+  call cornelis#bind_input("^8", "⁸")
+  call cornelis#bind_input("^9", "⁹")
+  call cornelis#bind_input("^+", "⁺")
+  call cornelis#bind_input("^=", "⁼")
+  call cornelis#bind_input("^(", "⁽")
+  call cornelis#bind_input("^)", "⁾")
+  call cornelis#bind_input("^F", "ꟳ")
+  call cornelis#bind_input("^Q", "ꟴ")
+  call cornelis#bind_input("^q", "𐞥")
+  call cornelis#bind_input("^", "̂")
+  call cornelis#bind_input("MiA", "𝐴")
+  call cornelis#bind_input("MiB", "𝐵")
+  call cornelis#bind_input("MiC", "𝐶")
+  call cornelis#bind_input("MiD", "𝐷")
+  call cornelis#bind_input("MiE", "𝐸")
+  call cornelis#bind_input("MiF", "𝐹")
+  call cornelis#bind_input("MiG", "𝐺")
+  call cornelis#bind_input("MiH", "𝐻")
+  call cornelis#bind_input("MiI", "𝐼")
+  call cornelis#bind_input("MiJ", "𝐽")
+  call cornelis#bind_input("MiK", "𝐾")
+  call cornelis#bind_input("MiL", "𝐿")
+  call cornelis#bind_input("MiM", "𝑀")
+  call cornelis#bind_input("MiN", "𝑁")
+  call cornelis#bind_input("MiO", "𝑂")
+  call cornelis#bind_input("MiP", "𝑃")
+  call cornelis#bind_input("MiQ", "𝑄")
+  call cornelis#bind_input("MiR", "𝑅")
+  call cornelis#bind_input("MiS", "𝑆")
+  call cornelis#bind_input("MiT", "𝑇")
+  call cornelis#bind_input("MiU", "𝑈")
+  call cornelis#bind_input("MiV", "𝑉")
+  call cornelis#bind_input("MiW", "𝑊")
+  call cornelis#bind_input("MiX", "𝑋")
+  call cornelis#bind_input("MiY", "𝑌")
+  call cornelis#bind_input("MiZ", "𝑍")
+  call cornelis#bind_input("Mia", "𝑎")
+  call cornelis#bind_input("Mib", "𝑏")
+  call cornelis#bind_input("Mic", "𝑐")
+  call cornelis#bind_input("Mid", "𝑑")
+  call cornelis#bind_input("Mie", "𝑒")
+  call cornelis#bind_input("Mif", "𝑓")
+  call cornelis#bind_input("Mig", "𝑔")
+  call cornelis#bind_input("Mih", "ℎ")
+  call cornelis#bind_input("Mii", "𝑖")
+  call cornelis#bind_input("Mij", "𝑗")
+  call cornelis#bind_input("Mik", "𝑘")
+  call cornelis#bind_input("Mil", "𝑙")
+  call cornelis#bind_input("Mim", "𝑚")
+  call cornelis#bind_input("Min", "𝑛")
+  call cornelis#bind_input("Mio", "𝑜")
+  call cornelis#bind_input("Mip", "𝑝")
+  call cornelis#bind_input("Miq", "𝑞")
+  call cornelis#bind_input("Mir", "𝑟")
+  call cornelis#bind_input("Mis", "𝑠")
+  call cornelis#bind_input("Mit", "𝑡")
+  call cornelis#bind_input("Miu", "𝑢")
+  call cornelis#bind_input("Miv", "𝑣")
+  call cornelis#bind_input("Miw", "𝑤")
+  call cornelis#bind_input("Mix", "𝑥")
+  call cornelis#bind_input("Miy", "𝑦")
+  call cornelis#bind_input("Miz", "𝑧")
+  call cornelis#bind_input("MIA", "𝑨")
+  call cornelis#bind_input("MIB", "𝑩")
+  call cornelis#bind_input("MIC", "𝑪")
+  call cornelis#bind_input("MID", "𝑫")
+  call cornelis#bind_input("MIE", "𝑬")
+  call cornelis#bind_input("MIF", "𝑭")
+  call cornelis#bind_input("MIG", "𝑮")
+  call cornelis#bind_input("MIH", "𝑯")
+  call cornelis#bind_input("MII", "𝑰")
+  call cornelis#bind_input("MIJ", "𝑱")
+  call cornelis#bind_input("MIK", "𝑲")
+  call cornelis#bind_input("MIL", "𝑳")
+  call cornelis#bind_input("MIM", "𝑴")
+  call cornelis#bind_input("MIN", "𝑵")
+  call cornelis#bind_input("MIO", "𝑶")
+  call cornelis#bind_input("MIP", "𝑷")
+  call cornelis#bind_input("MIQ", "𝑸")
+  call cornelis#bind_input("MIR", "𝑹")
+  call cornelis#bind_input("MIS", "𝑺")
+  call cornelis#bind_input("MIT", "𝑻")
+  call cornelis#bind_input("MIU", "𝑼")
+  call cornelis#bind_input("MIV", "𝑽")
+  call cornelis#bind_input("MIW", "𝑾")
+  call cornelis#bind_input("MIX", "𝑿")
+  call cornelis#bind_input("MIY", "𝒀")
+  call cornelis#bind_input("MIZ", "𝒁")
+  call cornelis#bind_input("MIa", "𝒂")
+  call cornelis#bind_input("MIb", "𝒃")
+  call cornelis#bind_input("MIc", "𝒄")
+  call cornelis#bind_input("MId", "𝒅")
+  call cornelis#bind_input("MIe", "𝒆")
+  call cornelis#bind_input("MIf", "𝒇")
+  call cornelis#bind_input("MIg", "𝒈")
+  call cornelis#bind_input("MIh", "𝒉")
+  call cornelis#bind_input("MIi", "𝒊")
+  call cornelis#bind_input("MIj", "𝒋")
+  call cornelis#bind_input("MIk", "𝒌")
+  call cornelis#bind_input("MIl", "𝒍")
+  call cornelis#bind_input("MIm", "𝒎")
+  call cornelis#bind_input("MIn", "𝒏")
+  call cornelis#bind_input("MIo", "𝒐")
+  call cornelis#bind_input("MIp", "𝒑")
+  call cornelis#bind_input("MIq", "𝒒")
+  call cornelis#bind_input("MIr", "𝒓")
+  call cornelis#bind_input("MIs", "𝒔")
+  call cornelis#bind_input("MIt", "𝒕")
+  call cornelis#bind_input("MIu", "𝒖")
+  call cornelis#bind_input("MIv", "𝒗")
+  call cornelis#bind_input("MIw", "𝒘")
+  call cornelis#bind_input("MIx", "𝒙")
+  call cornelis#bind_input("MIy", "𝒚")
+  call cornelis#bind_input("MIz", "𝒛")
+  call cornelis#bind_input("McA", "𝒜")
+  call cornelis#bind_input("McB", "ℬ")
+  call cornelis#bind_input("McC", "𝒞")
+  call cornelis#bind_input("McD", "𝒟")
+  call cornelis#bind_input("McE", "ℰ")
+  call cornelis#bind_input("McF", "ℱ")
+  call cornelis#bind_input("McG", "𝒢")
+  call cornelis#bind_input("McH", "ℋ")
+  call cornelis#bind_input("McI", "ℐ")
+  call cornelis#bind_input("McJ", "𝒥")
+  call cornelis#bind_input("McK", "𝒦")
+  call cornelis#bind_input("McL", "ℒ")
+  call cornelis#bind_input("McM", "ℳ")
+  call cornelis#bind_input("McN", "𝒩")
+  call cornelis#bind_input("McO", "𝒪")
+  call cornelis#bind_input("McP", "𝒫")
+  call cornelis#bind_input("McQ", "𝒬")
+  call cornelis#bind_input("McR", "ℛ")
+  call cornelis#bind_input("McS", "𝒮")
+  call cornelis#bind_input("McT", "𝒯")
+  call cornelis#bind_input("McU", "𝒰")
+  call cornelis#bind_input("McV", "𝒱")
+  call cornelis#bind_input("McW", "𝒲")
+  call cornelis#bind_input("McX", "𝒳")
+  call cornelis#bind_input("McY", "𝒴")
+  call cornelis#bind_input("McZ", "𝒵")
+  call cornelis#bind_input("Mca", "𝒶")
+  call cornelis#bind_input("Mcb", "𝒷")
+  call cornelis#bind_input("Mcc", "𝒸")
+  call cornelis#bind_input("Mcd", "𝒹")
+  call cornelis#bind_input("Mce", "ℯ")
+  call cornelis#bind_input("Mcf", "𝒻")
+  call cornelis#bind_input("Mcg", "ℊ")
+  call cornelis#bind_input("Mch", "𝒽")
+  call cornelis#bind_input("Mci", "𝒾")
+  call cornelis#bind_input("Mcj", "𝒿")
+  call cornelis#bind_input("Mck", "𝓀")
+  call cornelis#bind_input("Mcl", "𝓁")
+  call cornelis#bind_input("Mcm", "𝓂")
+  call cornelis#bind_input("Mcn", "𝓃")
+  call cornelis#bind_input("Mco", "ℴ")
+  call cornelis#bind_input("Mcp", "𝓅")
+  call cornelis#bind_input("Mcq", "𝓆")
+  call cornelis#bind_input("Mcr", "𝓇")
+  call cornelis#bind_input("Mcs", "𝓈")
+  call cornelis#bind_input("Mct", "𝓉")
+  call cornelis#bind_input("Mcu", "𝓊")
+  call cornelis#bind_input("Mcv", "𝓋")
+  call cornelis#bind_input("Mcw", "𝓌")
+  call cornelis#bind_input("Mcx", "𝓍")
+  call cornelis#bind_input("Mcy", "𝓎")
+  call cornelis#bind_input("Mcz", "𝓏")
+  call cornelis#bind_input("MCA", "𝓐")
+  call cornelis#bind_input("MCB", "𝓑")
+  call cornelis#bind_input("MCC", "𝓒")
+  call cornelis#bind_input("MCD", "𝓓")
+  call cornelis#bind_input("MCE", "𝓔")
+  call cornelis#bind_input("MCF", "𝓕")
+  call cornelis#bind_input("MCG", "𝓖")
+  call cornelis#bind_input("MCH", "𝓗")
+  call cornelis#bind_input("MCI", "𝓘")
+  call cornelis#bind_input("MCJ", "𝓙")
+  call cornelis#bind_input("MCK", "𝓚")
+  call cornelis#bind_input("MCL", "𝓛")
+  call cornelis#bind_input("MCM", "𝓜")
+  call cornelis#bind_input("MCN", "𝓝")
+  call cornelis#bind_input("MCO", "𝓞")
+  call cornelis#bind_input("MCP", "𝓟")
+  call cornelis#bind_input("MCQ", "𝓠")
+  call cornelis#bind_input("MCR", "𝓡")
+  call cornelis#bind_input("MCS", "𝓢")
+  call cornelis#bind_input("MCT", "𝓣")
+  call cornelis#bind_input("MCU", "𝓤")
+  call cornelis#bind_input("MCV", "𝓥")
+  call cornelis#bind_input("MCW", "𝓦")
+  call cornelis#bind_input("MCX", "𝓧")
+  call cornelis#bind_input("MCY", "𝓨")
+  call cornelis#bind_input("MCZ", "𝓩")
+  call cornelis#bind_input("MCa", "𝓪")
+  call cornelis#bind_input("MCb", "𝓫")
+  call cornelis#bind_input("MCc", "𝓬")
+  call cornelis#bind_input("MCd", "𝓭")
+  call cornelis#bind_input("MCe", "𝓮")
+  call cornelis#bind_input("MCf", "𝓯")
+  call cornelis#bind_input("MCg", "𝓰")
+  call cornelis#bind_input("MCh", "𝓱")
+  call cornelis#bind_input("MCi", "𝓲")
+  call cornelis#bind_input("MCj", "𝓳")
+  call cornelis#bind_input("MCk", "𝓴")
+  call cornelis#bind_input("MCl", "𝓵")
+  call cornelis#bind_input("MCm", "𝓶")
+  call cornelis#bind_input("MCn", "𝓷")
+  call cornelis#bind_input("MCo", "𝓸")
+  call cornelis#bind_input("MCp", "𝓹")
+  call cornelis#bind_input("MCq", "𝓺")
+  call cornelis#bind_input("MCr", "𝓻")
+  call cornelis#bind_input("MCs", "𝓼")
+  call cornelis#bind_input("MCt", "𝓽")
+  call cornelis#bind_input("MCu", "𝓾")
+  call cornelis#bind_input("MCv", "𝓿")
+  call cornelis#bind_input("MCw", "𝔀")
+  call cornelis#bind_input("MCx", "𝔁")
+  call cornelis#bind_input("MCy", "𝔂")
+  call cornelis#bind_input("MCz", "𝔃")
+  call cornelis#bind_input("MfA", "𝔄")
+  call cornelis#bind_input("MfB", "𝔅")
+  call cornelis#bind_input("MfC", "ℭ")
+  call cornelis#bind_input("MfD", "𝔇")
+  call cornelis#bind_input("MfE", "𝔈")
+  call cornelis#bind_input("MfF", "𝔉")
+  call cornelis#bind_input("MfG", "𝔊")
+  call cornelis#bind_input("MfH", "ℌ")
+  call cornelis#bind_input("MfI", "ℑ")
+  call cornelis#bind_input("MfJ", "𝔍")
+  call cornelis#bind_input("MfK", "𝔎")
+  call cornelis#bind_input("MfL", "𝔏")
+  call cornelis#bind_input("MfM", "𝔐")
+  call cornelis#bind_input("MfN", "𝔑")
+  call cornelis#bind_input("MfO", "𝔒")
+  call cornelis#bind_input("MfP", "𝔓")
+  call cornelis#bind_input("MfQ", "𝔔")
+  call cornelis#bind_input("MfR", "ℜ")
+  call cornelis#bind_input("MfS", "𝔖")
+  call cornelis#bind_input("MfT", "𝔗")
+  call cornelis#bind_input("MfU", "𝔘")
+  call cornelis#bind_input("MfV", "𝔙")
+  call cornelis#bind_input("MfW", "𝔚")
+  call cornelis#bind_input("MfX", "𝔛")
+  call cornelis#bind_input("MfY", "𝔜")
+  call cornelis#bind_input("MfZ", "ℨ")
+  call cornelis#bind_input("Mfa", "𝔞")
+  call cornelis#bind_input("Mfb", "𝔟")
+  call cornelis#bind_input("Mfc", "𝔠")
+  call cornelis#bind_input("Mfd", "𝔡")
+  call cornelis#bind_input("Mfe", "𝔢")
+  call cornelis#bind_input("Mff", "𝔣")
+  call cornelis#bind_input("Mfg", "𝔤")
+  call cornelis#bind_input("Mfh", "𝔥")
+  call cornelis#bind_input("Mfi", "𝔦")
+  call cornelis#bind_input("Mfj", "𝔧")
+  call cornelis#bind_input("Mfk", "𝔨")
+  call cornelis#bind_input("Mfl", "𝔩")
+  call cornelis#bind_input("Mfm", "𝔪")
+  call cornelis#bind_input("Mfn", "𝔫")
+  call cornelis#bind_input("Mfo", "𝔬")
+  call cornelis#bind_input("Mfp", "𝔭")
+  call cornelis#bind_input("Mfq", "𝔮")
+  call cornelis#bind_input("Mfr", "𝔯")
+  call cornelis#bind_input("Mfs", "𝔰")
+  call cornelis#bind_input("Mft", "𝔱")
+  call cornelis#bind_input("Mfu", "𝔲")
+  call cornelis#bind_input("Mfv", "𝔳")
+  call cornelis#bind_input("Mfw", "𝔴")
+  call cornelis#bind_input("Mfx", "𝔵")
+  call cornelis#bind_input("Mfy", "𝔶")
+  call cornelis#bind_input("Mfz", "𝔷")
+  call cornelis#bind_input("Mu", "Μ")
+  call cornelis#bind_input("Sigma", "Σ")
+  call cornelis#bind_input("Stigma", "Ϛ")
+  call cornelis#bind_input("Sampi", "Ϡ")
+  call cornelis#bind_input("San", "Ϻ")
+  call cornelis#bind_input("Shei", "Ϣ")
+  call cornelis#bind_input("Shima", "Ϭ")
+  call cornelis#bind_input("Sho", "Ϸ")
+  call cornelis#bind_input("Subset", "⋐")
+  call cornelis#bind_input("Supset", "⋑")
+  call cornelis#bind_input("Smiley", "☺")
+  call cornelis#bind_input("S", "§")
+  call cornelis#bind_input("Pi", "Π")
+  call cornelis#bind_input("Psi", "Ψ")
+  call cornelis#bind_input("P", "¶")
+  call cornelis#bind_input("k{A}", "Ą")
+  call cornelis#bind_input("k{a}", "ą")
+  call cornelis#bind_input("k{E}", "Ę")
+  call cornelis#bind_input("k{e}", "ę")
+  call cornelis#bind_input("k{I}", "Į")
+  call cornelis#bind_input("k{i}", "į")
+  call cornelis#bind_input("k{U}", "Ų")
+  call cornelis#bind_input("k{u}", "ų")
+  call cornelis#bind_input("k{O}", "Ǫ")
+  call cornelis#bind_input("k{o}", "ǫ")
+  call cornelis#bind_input("k{}", "˛")
+  call cornelis#bind_input("kA", "Ą")
+  call cornelis#bind_input("kappa", "κ")
+  call cornelis#bind_input("ka", "ą")
+  call cornelis#bind_input("kE", "Ę")
+  call cornelis#bind_input("kelvin", "K")
+  call cornelis#bind_input("ke", "ę")
+  call cornelis#bind_input("kI", "Į")
+  call cornelis#bind_input("kip", "₭")
+  call cornelis#bind_input("ki", "į")
+  call cornelis#bind_input("kU", "Ų")
+  call cornelis#bind_input("ku", "ų")
+  call cornelis#bind_input("kO", "Ǫ")
+  call cornelis#bind_input("koppa", "ϟ")
+  call cornelis#bind_input("ko", "ǫ")
+  call cornelis#bind_input("khei", "ϧ")
+  call cornelis#bind_input("k", "̨")
+  call cornelis#bind_input("v{C}", "Č")
+  call cornelis#bind_input("v{c}", "č")
+  call cornelis#bind_input("v{D}", "Ď")
+  call cornelis#bind_input("v{d}", "ď")
+  call cornelis#bind_input("v{E}", "Ě")
+  call cornelis#bind_input("v{e}", "ě")
+  call cornelis#bind_input("v{L}", "Ľ")
+  call cornelis#bind_input("v{l}", "ľ")
+  call cornelis#bind_input("v{N}", "Ň")
+  call cornelis#bind_input("v{n}", "ň")
+  call cornelis#bind_input("v{R}", "Ř")
+  call cornelis#bind_input("v{r}", "ř")
+  call cornelis#bind_input("v{S}", "Š")
+  call cornelis#bind_input("v{s}", "š")
+  call cornelis#bind_input("v{T}", "Ť")
+  call cornelis#bind_input("v{t}", "ť")
+  call cornelis#bind_input("v{Z}", "Ž")
+  call cornelis#bind_input("v{z}", "ž")
+  call cornelis#bind_input("v{A}", "Ǎ")
+  call cornelis#bind_input("v{a}", "ǎ")
+  call cornelis#bind_input("v{I}", "Ǐ")
+  call cornelis#bind_input("v{i}", "ǐ")
+  call cornelis#bind_input("v{O}", "Ǒ")
+  call cornelis#bind_input("v{o}", "ǒ")
+  call cornelis#bind_input("v{U}", "Ǔ")
+  call cornelis#bind_input("v{u}", "ǔ")
+  call cornelis#bind_input("v{G}", "Ǧ")
+  call cornelis#bind_input("v{g}", "ǧ")
+  call cornelis#bind_input("v{K}", "Ǩ")
+  call cornelis#bind_input("v{k}", "ǩ")
+  call cornelis#bind_input("v{j}", "ǰ")
+  call cornelis#bind_input("v{H}", "Ȟ")
+  call cornelis#bind_input("v{h}", "ȟ")
+  call cornelis#bind_input("v{}", "ˇ")
+  call cornelis#bind_input("vC", "Č")
+  call cornelis#bind_input("vc", "č")
+  call cornelis#bind_input("vDash", "⊨")
+  call cornelis#bind_input("vD", "Ď")
+  call cornelis#bind_input("vdash", "⊢")
+  call cornelis#bind_input("vdots", "⋮")
+  call cornelis#bind_input("vd", "ď")
+  call cornelis#bind_input("vE", "Ě")
+  call cornelis#bind_input("veebar", "⊻")
+  call cornelis#bind_input("vee", "∨")
+  call cornelis#bind_input("ve", "ě")
+  call cornelis#bind_input("vL", "Ľ")
+  call cornelis#bind_input("vl", "ľ")
+  call cornelis#bind_input("vN", "Ň")
+  call cornelis#bind_input("vn", "ň")
+  call cornelis#bind_input("vR", "Ř")
+  call cornelis#bind_input("vr", "ř")
+  call cornelis#bind_input("vS", "Š")
+  call cornelis#bind_input("vs", "š")
+  call cornelis#bind_input("vT", "Ť")
+  call cornelis#bind_input("vt", "ť")
+  call cornelis#bind_input("vZ", "Ž")
+  call cornelis#bind_input("vz", "ž")
+  call cornelis#bind_input("vA", "Ǎ")
+  call cornelis#bind_input("varbeta", "ϐ")
+  call cornelis#bind_input("vartheta", "ϑ")
+  call cornelis#bind_input("vartriangleleft", "⊲")
+  call cornelis#bind_input("vartriangleright", "⊳")
+  call cornelis#bind_input("varpi", "ϖ")
+  call cornelis#bind_input("varphi", "φ")
+  call cornelis#bind_input("varprime", "′")
+  call cornelis#bind_input("varpropto", "∝")
+  call cornelis#bind_input("varkai", "ϗ")
+  call cornelis#bind_input("varkappa", "ϰ")
+  call cornelis#bind_input("varrho", "ϱ")
+  call cornelis#bind_input("varepsilon", "ε")
+  call cornelis#bind_input("varsigma", "ς")
+  call cornelis#bind_input("va", "ǎ")
+  call cornelis#bind_input("vI", "Ǐ")
+  call cornelis#bind_input("vi", "ǐ")
+  call cornelis#bind_input("vO", "Ǒ")
+  call cornelis#bind_input("vo", "ǒ")
+  call cornelis#bind_input("vU", "Ǔ")
+  call cornelis#bind_input("vu", "ǔ")
+  call cornelis#bind_input("vG", "Ǧ")
+  call cornelis#bind_input("vg", "ǧ")
+  call cornelis#bind_input("vK", "Ǩ")
+  call cornelis#bind_input("vk", "ǩ")
+  call cornelis#bind_input("vj", "ǰ")
+  call cornelis#bind_input("vH", "Ȟ")
+  call cornelis#bind_input("vh", "ȟ")
+  call cornelis#bind_input("vbar", "│")
+  call cornelis#bind_input("vphantom", "⇳")
+  call cornelis#bind_input("v", "̌")
+  call cornelis#bind_input("H{O}", "Ő")
+  call cornelis#bind_input("H{U}", "Ű")
+  call cornelis#bind_input("H{u}", "ű")
+  call cornelis#bind_input("H{}", "˝")
+  call cornelis#bind_input("H{o}", "ő")
+  call cornelis#bind_input("HO", "Ő")
+  call cornelis#bind_input("Hori", "Ϩ")
+  call cornelis#bind_input("Ho", "ő")
+  call cornelis#bind_input("HU", "Ű")
+  call cornelis#bind_input("Hu", "ű")
+  call cornelis#bind_input("Heta", "Ͱ")
+  call cornelis#bind_input("H", "̋")
+  call cornelis#bind_input("yen", "¥")
+  call cornelis#bind_input("won", "₩")
+  call cornelis#bind_input("warning", "⚠")
+  call cornelis#bind_input("wedge", "∧")
+  call cornelis#bind_input("wp", "℘")
+  call cornelis#bind_input("wr", "≀")
+  call cornelis#bind_input("hryvnia", "₴")
+  call cornelis#bind_input("heta", "ͱ")
+  call cornelis#bind_input("heartsuit", "♥")
+  call cornelis#bind_input("hori", "ϩ")
+  call cornelis#bind_input("hookleftarrow", "↩")
+  call cornelis#bind_input("hookrightarrow", "↪")
+  call cornelis#bind_input("hbar", "ℏ")
+  call cornelis#bind_input("hphantom", "⬄")
+  call cornelis#bind_input("hsmash", "⬌")
+  call cornelis#bind_input("Yot", "Ϳ")
+  call cornelis#bind_input("Delta", "Δ")
+  call cornelis#bind_input("Dei", "Ϯ")
+  call cornelis#bind_input("Digamma", "Ϝ")
+  call cornelis#bind_input("Diamond", "◇")
+  call cornelis#bind_input("Downarrow", "⇓")
+  call cornelis#bind_input("Dd", "ⅅ")
+  call cornelis#bind_input("DH", "Ð")
+  call cornelis#bind_input("Epsilon", "Ε")
+  call cornelis#bind_input("Eta", "Η")
+  call cornelis#bind_input("Zeta", "Ζ")
+  call cornelis#bind_input("Kappa", "Κ")
+  call cornelis#bind_input("Koppa", "Ϟ")
+  call cornelis#bind_input("Khei", "Ϧ")
+  call cornelis#bind_input("Nu", "Ν")
+  call cornelis#bind_input("Xi", "Ξ")
+  call cornelis#bind_input("Rho", "Ρ")
+  call cornelis#bind_input("Re", "ℜ")
+  call cornelis#bind_input("Rightarrow", "⇒")
+  call cornelis#bind_input("Rrightarrow", "⇛")
+  call cornelis#bind_input("Rsh", "↱")
+  call cornelis#bind_input("Join", "⋈")
+  call cornelis#bind_input("Vdash", "⊩")
+  call cornelis#bind_input("Vert", "‖")
+  call cornelis#bind_input("Vvdash", "⊪")
+
   " Mapping unicode symbols.
   call cornelis#bind_input("to", "→")
   call cornelis#bind_input("->", "→")
@@ -822,6 +2921,5 @@ if !exists("g:cornelis_no_agda_input")
   call cornelis#bind_input("?", "¿")
   call cornelis#bind_input("^a_", "ª")
   call cornelis#bind_input("^o_", "º")
-
 endif