From 5676d2b6c0d2ccd25f92b2bff747f7b6fbd48e2e Mon Sep 17 00:00:00 2001 From: Sandy Maguire Date: Fri, 1 Dec 2023 12:39:15 -0800 Subject: [PATCH] Cleanup new bindings --- agda-input.vim | 4575 ++++++++++++++++++++---------------------------- 1 file changed, 1902 insertions(+), 2673 deletions(-) diff --git a/agda-input.vim b/agda-input.vim index ccd3618..0cef4db 100644 --- a/agda-input.vim +++ b/agda-input.vim @@ -5,2461 +5,263 @@ 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("!", "¡") + call cornelis#bind_input("!?", "⁉") + 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("'C", "Ć") + call cornelis#bind_input("'E", "É") + call cornelis#bind_input("'G", "Ǵ") + call cornelis#bind_input("'I", "Í") + call cornelis#bind_input("'K", "Ḱ") + call cornelis#bind_input("'L", "Ĺ") + 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("'U", "Ú") + call cornelis#bind_input("'W", "Ẃ") + call cornelis#bind_input("'Y", "Ý") + call cornelis#bind_input("'Z", "Ź") + call cornelis#bind_input("'a", "á") + call cornelis#bind_input("'c", "ć") + call cornelis#bind_input("'e", "é") + call cornelis#bind_input("'g", "ǵ") + call cornelis#bind_input("'i", "í") + call cornelis#bind_input("'k", "ḱ") + call cornelis#bind_input("'l", "ĺ") + 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("'u", "ú") + call cornelis#bind_input("'w", "ẃ") + call cornelis#bind_input("'y", "ý") + call cornelis#bind_input("'z", "ź") + call cornelis#bind_input("'{A}", "Á") + call cornelis#bind_input("'{C}", "Ć") + call cornelis#bind_input("'{E}", "É") + call cornelis#bind_input("'{G}", "Ǵ") + call cornelis#bind_input("'{I}", "Í") + call cornelis#bind_input("'{K}", "Ḱ") + call cornelis#bind_input("'{L}", "Ĺ") + 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("'{U}", "Ú") + call cornelis#bind_input("'{W}", "Ẃ") + call cornelis#bind_input("'{Y}", "Ý") + call cornelis#bind_input("'{Z}", "Ź") + call cornelis#bind_input("'{a}", "á") + call cornelis#bind_input("'{c}", "ć") + call cornelis#bind_input("'{e}", "é") + call cornelis#bind_input("'{g}", "ǵ") + call cornelis#bind_input("'{i}", "í") + call cornelis#bind_input("'{k}", "ḱ") + call cornelis#bind_input("'{l}", "ĺ") + 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("'{u}", "ú") + call cornelis#bind_input("'{w}", "ẃ") + call cornelis#bind_input("'{y}", "ý") + call cornelis#bind_input("'{z}", "ź") + call cornelis#bind_input("'{}", "´") + call cornelis#bind_input("((", "⦅") + call cornelis#bind_input("(=", "≘") + call cornelis#bind_input("(b", "⟅") + call cornelis#bind_input("(|", "⦇") + call cornelis#bind_input("))", "⦆") + 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("+-", "±") + 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("->n", "↛") 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(".", "∙") 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(".=", "≐") + call cornelis#bind_input(".=.", "≑") + call cornelis#bind_input(".A", "Ȧ") + call cornelis#bind_input(".B", "Ḃ") call cornelis#bind_input(".C", "Ċ") - call cornelis#bind_input(".c", "ċ") + call cornelis#bind_input(".D", "Ḋ") call cornelis#bind_input(".E", "Ė") - call cornelis#bind_input(".e", "ė") + call cornelis#bind_input(".F", "Ḟ") call cornelis#bind_input(".G", "Ġ") - call cornelis#bind_input(".g", "ġ") + call cornelis#bind_input(".H", "Ḣ") 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(".M", "Ṁ") + call cornelis#bind_input(".N", "Ṅ") call cornelis#bind_input(".O", "Ȯ") - call cornelis#bind_input(".o", "ȯ") - call cornelis#bind_input(".B", "Ḃ") + call cornelis#bind_input(".P", "Ṗ") + call cornelis#bind_input(".R", "Ṙ") + call cornelis#bind_input(".S", "Ṡ") + call cornelis#bind_input(".T", "Ṫ") + call cornelis#bind_input(".W", "Ẇ") + call cornelis#bind_input(".X", "Ẋ") + call cornelis#bind_input(".Y", "Ẏ") + call cornelis#bind_input(".Z", "Ż") + call cornelis#bind_input(".a", "ȧ") call cornelis#bind_input(".b", "ḃ") - call cornelis#bind_input(".D", "Ḋ") + call cornelis#bind_input(".c", "ċ") call cornelis#bind_input(".d", "ḋ") - call cornelis#bind_input(".F", "Ḟ") + call cornelis#bind_input(".e", "ė") call cornelis#bind_input(".f", "ḟ") - call cornelis#bind_input(".H", "Ḣ") + call cornelis#bind_input(".g", "ġ") 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(".o", "ȯ") 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("<->", "↔") - call cornelis#bind_input("<-->", "⟷") + call cornelis#bind_input(".z", "ż") + call cornelis#bind_input(".{A}", "Ȧ") + call cornelis#bind_input(".{B}", "Ḃ") + call cornelis#bind_input(".{C}", "Ċ") + call cornelis#bind_input(".{D}", "Ḋ") + call cornelis#bind_input(".{E}", "Ė") + call cornelis#bind_input(".{F}", "Ḟ") + call cornelis#bind_input(".{G}", "Ġ") + call cornelis#bind_input(".{H}", "Ḣ") + call cornelis#bind_input(".{I}", "İ") + 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(".{W}", "Ẇ") + call cornelis#bind_input(".{X}", "Ẋ") + call cornelis#bind_input(".{Y}", "Ẏ") + call cornelis#bind_input(".{Z}", "Ż") + call cornelis#bind_input(".{a}", "ȧ") + call cornelis#bind_input(".{b}", "ḃ") + call cornelis#bind_input(".{c}", "ċ") + call cornelis#bind_input(".{d}", "ḋ") + call cornelis#bind_input(".{e}", "ė") + call cornelis#bind_input(".{f}", "ḟ") + call cornelis#bind_input(".{g}", "ġ") + call cornelis#bind_input(".{h}", "ḣ") + 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(".{w}", "ẇ") + call cornelis#bind_input(".{x}", "ẋ") + call cornelis#bind_input(".{y}", "ẏ") + call cornelis#bind_input(".{z}", "ż") + call cornelis#bind_input(".{}", "˙") + call cornelis#bind_input("0", "∅") + call cornelis#bind_input("8<", "✂") + 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("<-->", "⟷") + call cornelis#bind_input("<->", "↔") + 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("<=", "≤") + call cornelis#bind_input("<=>", "⇔") + call cornelis#bind_input("<=>n", "⇎") + 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("=:", "≕") + 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("=A", "Ā") + call cornelis#bind_input("=E", "Ē") + call cornelis#bind_input("=G", "Ḡ") + 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("=g", "ḡ") + call cornelis#bind_input("=i", "ī") + call cornelis#bind_input("=n", "≠") + 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("={G}", "Ḡ") + 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("={g}", "ḡ") + call cornelis#bind_input("={i}", "ī") + call cornelis#bind_input("={o}", "ō") + call cornelis#bind_input("={u}", "ū") + call cornelis#bind_input("={y}", "ȳ") + 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(">~n", "⋧") + call cornelis#bind_input(">~nn", "≵") + call cornelis#bind_input("?!", "‽") + call cornelis#bind_input("?", "¿") + call cornelis#bind_input("?=", "≟") + call cornelis#bind_input("??", "⁇") + call cornelis#bind_input("@", "＠") 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("->", "→") - call cornelis#bind_input("<-", "←") - call cornelis#bind_input("and", "∧") - call cornelis#bind_input("or", "∨") - call cornelis#bind_input("neg", "¬") - call cornelis#bind_input("qed", "∎") - call cornelis#bind_input("o", "∘") - call cornelis#bind_input("comp", "∘") - 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("all", "∀") - call cornelis#bind_input("ex", "∃") - call cornelis#bind_input("exn", "∄") - call cornelis#bind_input("le", "≤") - call cornelis#bind_input("ge", "≥") - call cornelis#bind_input("'", "′") - call cornelis#bind_input("\"", "″") - call cornelis#bind_input("top", "⊤") - call cornelis#bind_input("bot", "⊥") - call cornelis#bind_input("?=", "≟") - call cornelis#bind_input("o*", "⊛") - call cornelis#bind_input("x", "×") - call cornelis#bind_input("o+", "⊕") - call cornelis#bind_input("t>", "▹") - call cornelis#bind_input(".-", "∸") - call cornelis#bind_input("{{", "⦃") - call cornelis#bind_input("}}", "⦄") - call cornelis#bind_input("nat", "ℕ") - call cornelis#bind_input("=>", "⇒") - call cornelis#bind_input("in", "∈") - call cornelis#bind_input("ni", "∋") - call cornelis#bind_input("ell", "ℓ") - - 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("^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", "⁹") - - - " Agda-input proper - 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("~-", "≃") - 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("==", "≡") - call cornelis#bind_input("==n", "≢") - call cornelis#bind_input("===", "≣") - call cornelis#bind_input(".=", "≐") - call cornelis#bind_input(".=.", "≑") - call cornelis#bind_input(":=", "≔") - call cornelis#bind_input("=:", "≕") - call cornelis#bind_input("=o", "≗") - call cornelis#bind_input("(=", "≘") - call cornelis#bind_input("and=", "≙") - call cornelis#bind_input("or=", "≚") - call cornelis#bind_input("*=", "≛") - call cornelis#bind_input("t=", "≜") - call cornelis#bind_input("def=", "≝") - call cornelis#bind_input("m=", "≞") - call cornelis#bind_input("?=", "≟") - call cornelis#bind_input("<=", "≤") - call cornelis#bind_input(">=", "≥") - call cornelis#bind_input("<=n", "≰") - call cornelis#bind_input(">=n", "≱") - call cornelis#bind_input("len", "≰") - call cornelis#bind_input("gen", "≱") - call cornelis#bind_input("n", "≯") - call cornelis#bind_input("<~", "≲") - call cornelis#bind_input(">~", "≳") - call cornelis#bind_input("<~n", "⋦") - call cornelis#bind_input(">~n", "⋧") - call cornelis#bind_input("<~nn", "≴") - call cornelis#bind_input(">~nn", "≵") - call cornelis#bind_input("sub", "⊂") - call cornelis#bind_input("sup", "⊃") - call cornelis#bind_input("subn", "⊄") - call cornelis#bind_input("supn", "⊅") - call cornelis#bind_input("sub=", "⊆") - call cornelis#bind_input("sup=", "⊇") - call cornelis#bind_input("sub=n", "⊈") - call cornelis#bind_input("sup=n", "⊉") - call cornelis#bind_input("squb", "⊏") - call cornelis#bind_input("squp", "⊐") - call cornelis#bind_input("squb=", "⊑") - call cornelis#bind_input("squp=", "⊒") - call cornelis#bind_input("squb=n", "⋢") - call cornelis#bind_input("squp=n", "⋣") - call cornelis#bind_input("inn", "∉") - call cornelis#bind_input("nin", "∌") - call cornelis#bind_input("and", "∧") - call cornelis#bind_input("or", "∨") - call cornelis#bind_input("And", "⋀") - call cornelis#bind_input("Or", "⋁") - call cornelis#bind_input("i", "∩") - call cornelis#bind_input("un", "∪") - call cornelis#bind_input("u+", "⊎") - call cornelis#bind_input("u.", "⊍") - call cornelis#bind_input("I", "⋂") - call cornelis#bind_input("Un", "⋃") - call cornelis#bind_input("U+", "⨄") - call cornelis#bind_input("U.", "⨃") - call cornelis#bind_input("glb", "⊓") - call cornelis#bind_input("lub", "⊔") - call cornelis#bind_input("Glb", "⨅") - call cornelis#bind_input("Lub", "⨆") - 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("||=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("0", "∅") - call cornelis#bind_input("C", "∁") - call cornelis#bind_input("cul", "⌜") - call cornelis#bind_input("cuL", "⌈") - call cornelis#bind_input("cur", "⌝") - call cornelis#bind_input("cuR", "⌉") - call cornelis#bind_input("cll", "⌞") - call cornelis#bind_input("clL", "⌊") - call cornelis#bind_input("clr", "⌟") - call cornelis#bind_input("clR", "⌋") - call cornelis#bind_input("qed", "∎") - call cornelis#bind_input("x", "×") - call cornelis#bind_input("o", "∘") - call cornelis#bind_input("comp", "∘") - 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("+ ", "⊹") - call cornelis#bind_input("+-", "±") - call cornelis#bind_input("-+", "∓") - call cornelis#bind_input("surd3", "∛") - call cornelis#bind_input("surd4", "∜") - call cornelis#bind_input("increment", "∆") - call cornelis#bind_input("inf", "∞") - call cornelis#bind_input("&", "⅋") - call cornelis#bind_input("z;", "⨟") - call cornelis#bind_input("z:", "⦂") - 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("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("b+", "⊞") - call cornelis#bind_input("b-", "⊟") - call cornelis#bind_input("bx", "⊠") - call cornelis#bind_input("b.", "⊡") - call cornelis#bind_input("l-", "←") - call cornelis#bind_input("<-", "←") - call cornelis#bind_input("l=", "⇐") - call cornelis#bind_input("<=", "⇐") - call cornelis#bind_input("r-", "→") - call cornelis#bind_input("->", "→") - call cornelis#bind_input("r=", "⇒") - call cornelis#bind_input("=>", "⇒") - call cornelis#bind_input("u-", "↑") - call cornelis#bind_input("u=", "⇑") - call cornelis#bind_input("d-", "↓") - call cornelis#bind_input("d=", "⇓") - call cornelis#bind_input("ud-", "↕") - call cornelis#bind_input("ud=", "⇕") - call cornelis#bind_input("lr-", "↔") - call cornelis#bind_input("<->", "↔") - call cornelis#bind_input("lr=", "⇔") - call cornelis#bind_input("<=>", "⇔") - call cornelis#bind_input("ul-", "↖") - call cornelis#bind_input("ul=", "⇖") - call cornelis#bind_input("ur-", "↗") - call cornelis#bind_input("ur=", "⇗") - call cornelis#bind_input("dr-", "↘") - call cornelis#bind_input("dr=", "⇘") - call cornelis#bind_input("dl-", "↙") - call cornelis#bind_input("dl=", "⇙") - call cornelis#bind_input("l==", "⇚") - call cornelis#bind_input("l-2", "⇇") - call cornelis#bind_input("l-r-", "⇆") - call cornelis#bind_input("r==", "⇛") - call cornelis#bind_input("r-2", "⇉") - call cornelis#bind_input("r-3", "⇶") - call cornelis#bind_input("r-l-", "⇄") - call cornelis#bind_input("u==", "⟰") - call cornelis#bind_input("u-2", "⇈") - call cornelis#bind_input("u-d-", "⇅") - call cornelis#bind_input("d==", "⟱") - call cornelis#bind_input("d-2", "⇊") - call cornelis#bind_input("d-u-", "⇵") - call cornelis#bind_input("l--", "⟵") - call cornelis#bind_input("<--", "⟵") - call cornelis#bind_input("l~", "↜") - call cornelis#bind_input("r--", "⟶") - call cornelis#bind_input("-->", "⟶") - call cornelis#bind_input("r~", "↝") - call cornelis#bind_input("lr--", "⟷") - call cornelis#bind_input("<-->", "⟷") - call cornelis#bind_input("lr~", "↭") - call cornelis#bind_input("l-n", "↚") - call cornelis#bind_input("<-n", "↚") - call cornelis#bind_input("l=n", "⇍") - call cornelis#bind_input("r-n", "↛") - call cornelis#bind_input("->n", "↛") - call cornelis#bind_input("r=n", "⇏") - call cornelis#bind_input("=>n", "⇏") - call cornelis#bind_input("lr-n", "↮") - call cornelis#bind_input("<->n", "↮") - call cornelis#bind_input("lr=n", "⇎") - call cornelis#bind_input("<=>n", "⇎") - call cornelis#bind_input("l-|", "↤") - call cornelis#bind_input("ll-", "↞") - call cornelis#bind_input("r-|", "↦") - call cornelis#bind_input("rr-", "↠") - call cornelis#bind_input("u-|", "↥") - call cornelis#bind_input("uu-", "↟") - call cornelis#bind_input("d-|", "↧") - call cornelis#bind_input("dd-", "↡") - call cornelis#bind_input("ud-|", "↨") - call cornelis#bind_input("l->", "↢") - call cornelis#bind_input("r->", "↣") - call cornelis#bind_input("r-o", "⊸") - call cornelis#bind_input("-o", "⊸") - call cornelis#bind_input("dz", "↯") - call cornelis#bind_input("sq", "□") - call cornelis#bind_input("sq.", "▣") - call cornelis#bind_input("sqo", "▢") - call cornelis#bind_input("pab", "▰") - call cornelis#bind_input("paw", "▱") - call cornelis#bind_input("dib", "◆") - call cornelis#bind_input("diw", "◇") - call cornelis#bind_input("di.", "◈") - call cornelis#bind_input("lz", "◊") - 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("st6", "✶") - call cornelis#bind_input("st8", "✴") - call cornelis#bind_input("st12", "✹") - call cornelis#bind_input("star", "★") - 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("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("bGG", "ℾ") - call cornelis#bind_input("bGP", "ℿ") - call cornelis#bind_input("bGS", "⅀") - 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("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("bGg", "ℽ") - call cornelis#bind_input("bGp", "ℼ") - 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("And", "⋀") call cornelis#bind_input("B0", "𝟎") call cornelis#bind_input("B1", "𝟏") call cornelis#bind_input("B2", "𝟐") @@ -2470,168 +272,350 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("B7", "𝟕") call cornelis#bind_input("B8", "𝟖") call cornelis#bind_input("B9", "𝟗") - 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("))", "⦆") - call cornelis#bind_input("{{", "⦃") - call cornelis#bind_input("}}", "⦄") - call cornelis#bind_input("(b", "⟅") - call cornelis#bind_input(")b", "⟆") - call cornelis#bind_input("lbag", "⟅") - call cornelis#bind_input("rbag", "⟆") - call cornelis#bind_input("|>", "⦊") - call cornelis#bind_input("|)", "⦈") - call cornelis#bind_input("))", "⦆") - call cornelis#bind_input("bub", "•") - call cornelis#bind_input("buw", "◦") - call cornelis#bind_input("but", "‣") - call cornelis#bind_input("b", "♭") - call cornelis#bind_input("#", "♯") - call cornelis#bind_input("\\", "\\") - call cornelis#bind_input("en", "–") - call cornelis#bind_input("em", "—") - call cornelis#bind_input("!!", "‼") - call cornelis#bind_input("??", "⁇") - call cornelis#bind_input("?!", "‽") - call cornelis#bind_input("!?", "⁉") - call cornelis#bind_input("8<", "✂") - call cornelis#bind_input("tie", "⁀") - call cornelis#bind_input("undertie", "‿") - call cornelis#bind_input("_~", "̰") - call cornelis#bind_input("^l-", "⃖") - call cornelis#bind_input("^r-", "⃗") - call cornelis#bind_input("^lr", "⃡") - call cornelis#bind_input("_lr", "͍") - call cornelis#bind_input("Ga", "α") + 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("BG", "𝐆") + 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("BGF", "𝚽") + 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("BGP", "𝚿") + call cornelis#bind_input("BGR", "𝚸") + call cornelis#bind_input("BGS", "𝚺") + call cornelis#bind_input("BGT", "𝚻") + call cornelis#bind_input("BGTH", "𝚯") + 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("BGf", "𝛗") + 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("BGp", "𝛙") + call cornelis#bind_input("BGr", "𝛒") + call cornelis#bind_input("BGs", "𝛔") + call cornelis#bind_input("BGt", "𝛕") + call cornelis#bind_input("BGth", "𝛉") + call cornelis#bind_input("BGu", "𝛖") + call cornelis#bind_input("BGx", "𝛏") + call cornelis#bind_input("BGz", "𝛇") + 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("BOmicron", "𝚶") + call cornelis#bind_input("BP", "𝐏") + call cornelis#bind_input("BPi", "𝚷") + 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("Bb", "𝐛") + call cornelis#bind_input("Bbb{1}", "𝟙") + call cornelis#bind_input("Bbb{2}", "𝟚") + 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("Bc", "𝐜") + call cornelis#bind_input("Bd", "𝐝") + call cornelis#bind_input("Be", "𝐞") + call cornelis#bind_input("Beta", "Β") + 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("Bo", "𝐨") + call cornelis#bind_input("Bomicron", "𝛐") + call cornelis#bind_input("Box", "□") + call cornelis#bind_input("Bp", "𝐩") + call cornelis#bind_input("Bpi", "𝛑") + 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("Bumpeq", "≎") + 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("C", "∁") + call cornelis#bind_input("Cap", "⋒") + call cornelis#bind_input("Chi", "Χ") + call cornelis#bind_input("Cup", "⋓") + call cornelis#bind_input("DH", "Ð") + call cornelis#bind_input("Dd", "ⅅ") + call cornelis#bind_input("Dei", "Ϯ") + call cornelis#bind_input("Delta", "Δ") + call cornelis#bind_input("Diamond", "◇") + call cornelis#bind_input("Digamma", "Ϝ") + call cornelis#bind_input("Downarrow", "⇓") + call cornelis#bind_input("Epsilon", "Ε") + call cornelis#bind_input("Eta", "Η") + 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("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("Fe", "ｅ") + call cornelis#bind_input("Fei", "Ϥ") + 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("Frowny", "☹") + 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("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("GC", "Χ") 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("GF", "Φ") + call cornelis#bind_input("GG", "Γ") call cornelis#bind_input("GH", "Η") - call cornelis#bind_input("Gth", "θ") - call cornelis#bind_input("GTH", "Θ") - 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("GL", "Λ") - 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("GO", "Ω") + call cornelis#bind_input("GP", "Π") + call cornelis#bind_input("GP", "Ψ") call cornelis#bind_input("GR", "Ρ") - call cornelis#bind_input("Gs", "σ") call cornelis#bind_input("GS", "Σ") - call cornelis#bind_input("Gt", "τ") call cornelis#bind_input("GT", "Τ") - call cornelis#bind_input("Gu", "υ") + call cornelis#bind_input("GTH", "Θ") call cornelis#bind_input("GU", "Υ") - call cornelis#bind_input("Gf", "φ") - call cornelis#bind_input("GF", "Φ") + call cornelis#bind_input("GW", "Ψ") + call cornelis#bind_input("GX", "Ξ") + call cornelis#bind_input("GZ", "Ζ") + call cornelis#bind_input("Ga", "α") + call cornelis#bind_input("Gamma", "Γ") + call cornelis#bind_input("Gangia", "Ϫ") + call cornelis#bind_input("Gb", "β") call cornelis#bind_input("Gc", "χ") - call cornelis#bind_input("GC", "Χ") + call cornelis#bind_input("Gd", "δ") + call cornelis#bind_input("Ge", "ε") + call cornelis#bind_input("Gf", "φ") + call cornelis#bind_input("Gg", "γ") + call cornelis#bind_input("Gh", "η") + call cornelis#bind_input("Gi", "ι") + call cornelis#bind_input("Gk", "κ") + call cornelis#bind_input("Gl", "λ") + call cornelis#bind_input("Gl-", "ƛ") + call cornelis#bind_input("Glb", "⨅") + call cornelis#bind_input("Gm", "μ") + call cornelis#bind_input("Gn", "ν") + call cornelis#bind_input("Go", "ω") call cornelis#bind_input("Gp", "π") - call cornelis#bind_input("GP", "Π") + call cornelis#bind_input("Gp", "ψ") + call cornelis#bind_input("Gr", "ρ") + call cornelis#bind_input("Gs", "σ") + call cornelis#bind_input("Gt", "τ") + call cornelis#bind_input("Gth", "θ") + call cornelis#bind_input("Gu", "υ") call cornelis#bind_input("Gw", "ψ") - call cornelis#bind_input("GW", "Ψ") - call cornelis#bind_input("Go", "ω") - call cornelis#bind_input("GO", "Ω") - call cornelis#bind_input("MbA", "𝐀") - call cornelis#bind_input("MbB", "𝐁") - call cornelis#bind_input("MbC", "𝐂") - call cornelis#bind_input("MbD", "𝐃") - call cornelis#bind_input("MbE", "𝐄") - call cornelis#bind_input("MbF", "𝐅") - call cornelis#bind_input("MbG", "𝐆") - call cornelis#bind_input("MbH", "𝐇") - call cornelis#bind_input("MbI", "𝐈") - call cornelis#bind_input("MbJ", "𝐉") - call cornelis#bind_input("MbK", "𝐊") - call cornelis#bind_input("MbL", "𝐋") - call cornelis#bind_input("MbM", "𝐌") - call cornelis#bind_input("MbN", "𝐍") - call cornelis#bind_input("MbO", "𝐎") - call cornelis#bind_input("MbP", "𝐏") - call cornelis#bind_input("MbQ", "𝐐") - call cornelis#bind_input("MbR", "𝐑") - call cornelis#bind_input("MbS", "𝐒") - call cornelis#bind_input("MbT", "𝐓") - call cornelis#bind_input("MbU", "𝐔") - call cornelis#bind_input("MbV", "𝐕") - call cornelis#bind_input("MbW", "𝐖") - call cornelis#bind_input("MbX", "𝐗") - call cornelis#bind_input("MbY", "𝐘") - call cornelis#bind_input("MbZ", "𝐙") - 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("Gx", "ξ") + call cornelis#bind_input("Gz", "ζ") + call cornelis#bind_input("H", "̋") + call cornelis#bind_input("HO", "Ő") + call cornelis#bind_input("HU", "Ű") + call cornelis#bind_input("Heta", "Ͱ") + call cornelis#bind_input("Ho", "ő") + call cornelis#bind_input("Hori", "Ϩ") + call cornelis#bind_input("Hu", "ű") + call cornelis#bind_input("H{O}", "Ő") + call cornelis#bind_input("H{U}", "Ű") + call cornelis#bind_input("H{o}", "ő") + call cornelis#bind_input("H{u}", "ű") + call cornelis#bind_input("H{}", "˝") + call cornelis#bind_input("I", "⋂") + call cornelis#bind_input("Im", "ℑ") + call cornelis#bind_input("Iota", "Ι") + call cornelis#bind_input("Join", "⋈") + call cornelis#bind_input("Kappa", "Κ") + call cornelis#bind_input("Khei", "Ϧ") + call cornelis#bind_input("Koppa", "Ϟ") + call cornelis#bind_input("L", "Ł") + call cornelis#bind_input("Lambda", "Λ") + call cornelis#bind_input("Lamda", "Λ") + call cornelis#bind_input("Leftarrow", "⇐") + call cornelis#bind_input("Leftrightarrow", "⇔") + call cornelis#bind_input("Letter", "✉") + call cornelis#bind_input("Ll", "⋘") + call cornelis#bind_input("Lleftarrow", "⇚") + call cornelis#bind_input("Longleftarrow", "⇐") + call cornelis#bind_input("Longleftrightarrow", "⇔") + call cornelis#bind_input("Longrightarrow", "⇒") + call cornelis#bind_input("Lsh", "↰") + call cornelis#bind_input("Lub", "⨆") + 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("MIA", "𝑨") call cornelis#bind_input("MIB", "𝑩") call cornelis#bind_input("MIC", "𝑪") @@ -2684,6 +668,32 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("MIx", "𝒙") call cornelis#bind_input("MIy", "𝒚") call cornelis#bind_input("MIz", "𝒛") + call cornelis#bind_input("MbA", "𝐀") + call cornelis#bind_input("MbB", "𝐁") + call cornelis#bind_input("MbC", "𝐂") + call cornelis#bind_input("MbD", "𝐃") + call cornelis#bind_input("MbE", "𝐄") + call cornelis#bind_input("MbF", "𝐅") + call cornelis#bind_input("MbG", "𝐆") + call cornelis#bind_input("MbH", "𝐇") + call cornelis#bind_input("MbI", "𝐈") + call cornelis#bind_input("MbJ", "𝐉") + call cornelis#bind_input("MbK", "𝐊") + call cornelis#bind_input("MbL", "𝐋") + call cornelis#bind_input("MbM", "𝐌") + call cornelis#bind_input("MbN", "𝐍") + call cornelis#bind_input("MbO", "𝐎") + call cornelis#bind_input("MbP", "𝐏") + call cornelis#bind_input("MbQ", "𝐐") + call cornelis#bind_input("MbR", "𝐑") + call cornelis#bind_input("MbS", "𝐒") + call cornelis#bind_input("MbT", "𝐓") + call cornelis#bind_input("MbU", "𝐔") + call cornelis#bind_input("MbV", "𝐕") + call cornelis#bind_input("MbW", "𝐖") + call cornelis#bind_input("MbX", "𝐗") + call cornelis#bind_input("MbY", "𝐘") + call cornelis#bind_input("MbZ", "𝐙") call cornelis#bind_input("McA", "𝒜") call cornelis#bind_input("McB", "ℬ") call cornelis#bind_input("McC", "𝒞") @@ -2736,58 +746,6 @@ if !exists("g:cornelis_no_agda_input") 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", "ℭ") @@ -2840,29 +798,157 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("Mfx", "𝔵") call cornelis#bind_input("Mfy", "𝔶") call cornelis#bind_input("Mfz", "𝔷") - 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("_l", "ₗ") - 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("_v", "ᵥ") - 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("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("Mu", "Μ") + call cornelis#bind_input("Nu", "Ν") + call cornelis#bind_input("O", "Ø") + call cornelis#bind_input("O*", "⍟") + call cornelis#bind_input("O+", "⨁") + call cornelis#bind_input("O.", "⨀") + call cornelis#bind_input("OE", "Œ") + call cornelis#bind_input("Omega", "Ω") + call cornelis#bind_input("Omicron", "Ο") + call cornelis#bind_input("Or", "⋁") + call cornelis#bind_input("Ox", "⨂") + call cornelis#bind_input("P", "¶") + call cornelis#bind_input("Pi", "Π") + call cornelis#bind_input("Psi", "Ψ") + call cornelis#bind_input("Re", "ℜ") + call cornelis#bind_input("Rho", "Ρ") + call cornelis#bind_input("Rightarrow", "⇒") + call cornelis#bind_input("Rrightarrow", "⇛") + call cornelis#bind_input("Rsh", "↱") + call cornelis#bind_input("S", "§") + 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("Sigma", "Σ") + call cornelis#bind_input("Smiley", "☺") + call cornelis#bind_input("Stigma", "Ϛ") + call cornelis#bind_input("Subset", "⋐") + call cornelis#bind_input("Supset", "⋑") + call cornelis#bind_input("TH", "Þ") + call cornelis#bind_input("Tau", "Τ") + call cornelis#bind_input("Theta", "Θ") + call cornelis#bind_input("U+", "⨄") + call cornelis#bind_input("U.", "⨃") + call cornelis#bind_input("Un", "⋃") + call cornelis#bind_input("Uo", "ő") + call cornelis#bind_input("Uparrow", "⇑") + call cornelis#bind_input("Updownarrow", "⇕") + call cornelis#bind_input("Upsilon", "Υ") + call cornelis#bind_input("U{o}", "ő") + call cornelis#bind_input("Vdash", "⊩") + call cornelis#bind_input("Vert", "‖") + call cornelis#bind_input("Vvdash", "⊪") + call cornelis#bind_input("Xi", "Ξ") + call cornelis#bind_input("Yot", "Ϳ") + call cornelis#bind_input("Zeta", "Ζ") + 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("^-", "⁻") + 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("^A", "ᴬ") + call cornelis#bind_input("^B", "ᴮ") + call cornelis#bind_input("^D", "ᴰ") + call cornelis#bind_input("^E", "ᴱ") + call cornelis#bind_input("^F", "ꟳ") + call cornelis#bind_input("^G", "ᴳ") + call cornelis#bind_input("^Gb", "ᵝ") + call cornelis#bind_input("^Gc", "ᵡ") + call cornelis#bind_input("^Gd", "ᵟ") + call cornelis#bind_input("^Ge", "ᵋ") + call cornelis#bind_input("^Gf", "ᵠ") + call cornelis#bind_input("^Gg", "ᵞ") + call cornelis#bind_input("^Gth", "ᶿ") + call cornelis#bind_input("^H", "ᴴ") + call cornelis#bind_input("^I", "ᴵ") + call cornelis#bind_input("^J", "ᴶ") + call cornelis#bind_input("^K", "ᴷ") + call cornelis#bind_input("^L", "ᴸ") + call cornelis#bind_input("^M", "ᴹ") + call cornelis#bind_input("^N", "ᴺ") + call cornelis#bind_input("^O", "ᴼ") + call cornelis#bind_input("^P", "ᴾ") + call cornelis#bind_input("^Q", "ꟴ") + call cornelis#bind_input("^R", "ᴿ") + call cornelis#bind_input("^S", "Ŝ") + call cornelis#bind_input("^T", "ᵀ") + call cornelis#bind_input("^U", "ᵁ") + call cornelis#bind_input("^V", "ⱽ") + call cornelis#bind_input("^W", "ᵂ") + call cornelis#bind_input("^Y", "Ŷ") + call cornelis#bind_input("^Z", "Ẑ") call cornelis#bind_input("^a", "ᵃ") + call cornelis#bind_input("^a_", "ª") call cornelis#bind_input("^b", "ᵇ") call cornelis#bind_input("^c", "ᶜ") call cornelis#bind_input("^d", "ᵈ") @@ -2874,11 +960,16 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("^j", "ʲ") call cornelis#bind_input("^k", "ᵏ") call cornelis#bind_input("^l", "ˡ") + call cornelis#bind_input("^l-", "⃖") + call cornelis#bind_input("^lr", "⃡") call cornelis#bind_input("^m", "ᵐ") call cornelis#bind_input("^n", "ⁿ") call cornelis#bind_input("^o", "ᵒ") + call cornelis#bind_input("^o_", "º") call cornelis#bind_input("^p", "ᵖ") + call cornelis#bind_input("^q", "𐞥") call cornelis#bind_input("^r", "ʳ") + call cornelis#bind_input("^r-", "⃗") call cornelis#bind_input("^s", "ˢ") call cornelis#bind_input("^t", "ᵗ") call cornelis#bind_input("^u", "ᵘ") @@ -2887,39 +978,1177 @@ if !exists("g:cornelis_no_agda_input") call cornelis#bind_input("^x", "ˣ") call cornelis#bind_input("^y", "ʸ") call cornelis#bind_input("^z", "ᶻ") - call cornelis#bind_input("^A", "ᴬ") - call cornelis#bind_input("^B", "ᴮ") - call cornelis#bind_input("^D", "ᴰ") - call cornelis#bind_input("^E", "ᴱ") - call cornelis#bind_input("^G", "ᴳ") - call cornelis#bind_input("^H", "ᴴ") - call cornelis#bind_input("^I", "ᴵ") - call cornelis#bind_input("^J", "ᴶ") - call cornelis#bind_input("^K", "ᴷ") - call cornelis#bind_input("^L", "ᴸ") - 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("^T", "ᵀ") - call cornelis#bind_input("^U", "ᵁ") - call cornelis#bind_input("^V", "ⱽ") - call cornelis#bind_input("^W", "ᵂ") - 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(" ", " ") - call cornelis#bind_input("!", "¡") - call cornelis#bind_input("cent", "¢") + call cornelis#bind_input("^{A}", "Â") + call cornelis#bind_input("^{C}", "Ĉ") + call cornelis#bind_input("^{E}", "Ê") + call cornelis#bind_input("^{G}", "Ĝ") + call cornelis#bind_input("^{H}", "Ĥ") + call cornelis#bind_input("^{I}", "Î") + call cornelis#bind_input("^{J}", "Ĵ") + call cornelis#bind_input("^{O}", "Ô") + call cornelis#bind_input("^{SM}", "℠") + call cornelis#bind_input("^{S}", "Ŝ") + call cornelis#bind_input("^{TEL}", "℡") + call cornelis#bind_input("^{TM}", "™") + call cornelis#bind_input("^{U}", "Û") + call cornelis#bind_input("^{W}", "Ŵ") + call cornelis#bind_input("^{Y}", "Ŷ") + call cornelis#bind_input("^{Z}", "Ẑ") + call cornelis#bind_input("^{a}", "â") + call cornelis#bind_input("^{c}", "ĉ") + call cornelis#bind_input("^{e}", "ê") + call cornelis#bind_input("^{g}", "ĝ") + call cornelis#bind_input("^{h}", "ĥ") + call cornelis#bind_input("^{i}", "î") + call cornelis#bind_input("^{j}", "ĵ") + call cornelis#bind_input("^{o}", "ô") + call cornelis#bind_input("^{s}", "ŝ") + call cornelis#bind_input("^{u}", "û") + call cornelis#bind_input("^{w}", "ŵ") + call cornelis#bind_input("^{y}", "ŷ") + call cornelis#bind_input("^{z}", "ẑ") + call cornelis#bind_input("_(", "₍") + call cornelis#bind_input("_)", "₎") + call cornelis#bind_input("_+", "₊") + call cornelis#bind_input("_-", "₋") + 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("_Gb", "ᵦ") + call cornelis#bind_input("_Gc", "ᵪ") + call cornelis#bind_input("_Gf", "ᵩ") + call cornelis#bind_input("_Gg", "ᵧ") + call cornelis#bind_input("_Gr", "ᵨ") + call cornelis#bind_input("__", "＿") + 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("_l", "ₗ") + call cornelis#bind_input("_lr", "͍") + 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("_v", "ᵥ") + call cornelis#bind_input("_x", "ₓ") + call cornelis#bind_input("_~", "̰") + call cornelis#bind_input("`A", "À") + call cornelis#bind_input("`E", "È") + call cornelis#bind_input("`I", "Ì") + call cornelis#bind_input("`N", "Ǹ") + call cornelis#bind_input("`O", "Ò") + call cornelis#bind_input("`U", "Ù") + call cornelis#bind_input("`W", "Ẁ") + call cornelis#bind_input("`Y", "Ỳ") + call cornelis#bind_input("`a", "à") + call cornelis#bind_input("`e", "è") + call cornelis#bind_input("`i", "ì") + call cornelis#bind_input("`n", "ǹ") + call cornelis#bind_input("`o", "ò") + call cornelis#bind_input("`u", "ù") + call cornelis#bind_input("`w", "ẁ") + call cornelis#bind_input("`y", "ỳ") + call cornelis#bind_input("`{A}", "À") + call cornelis#bind_input("`{E}", "È") + call cornelis#bind_input("`{I}", "Ì") + call cornelis#bind_input("`{N}", "Ǹ") + call cornelis#bind_input("`{O}", "Ò") + call cornelis#bind_input("`{U}", "Ù") + call cornelis#bind_input("`{W}", "Ẁ") + call cornelis#bind_input("`{Y}", "Ỳ") + call cornelis#bind_input("`{a}", "à") + call cornelis#bind_input("`{e}", "è") + call cornelis#bind_input("`{i}", "ì") + call cornelis#bind_input("`{n}", "ǹ") + call cornelis#bind_input("`{o}", "ò") + call cornelis#bind_input("`{u}", "ù") + call cornelis#bind_input("`{w}", "ẁ") + call cornelis#bind_input("`{y}", "ỳ") + call cornelis#bind_input("aa", "å") + call cornelis#bind_input("above", "┴") + call cornelis#bind_input("ae", "æ") + call cornelis#bind_input("afghani", "؋") + call cornelis#bind_input("aleph", "ℵ") + call cornelis#bind_input("all", "∀") + call cornelis#bind_input("alpha", "α") + call cornelis#bind_input("amalg", "∐") + call cornelis#bind_input("and", "∧") + call cornelis#bind_input("and=", "≙") + call cornelis#bind_input("angstrom", "Å") + call cornelis#bind_input("aoint", "∳") + call cornelis#bind_input("approx", "≈") + call cornelis#bind_input("approxeq", "≊") + call cornelis#bind_input("asmash", "⬆") + call cornelis#bind_input("ast", "∗") + call cornelis#bind_input("asymp", "≍") + call cornelis#bind_input("atop", "¦") + call cornelis#bind_input("austral", "₳") + call cornelis#bind_input("b", "♭") + call cornelis#bind_input("b+", "⊞") + call cornelis#bind_input("b-", "⊟") + call cornelis#bind_input("b.", "⊡") + 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("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("bG", "𝔾") + 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("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("ba", "𝕒") + call cornelis#bind_input("backcong", "≌") + call cornelis#bind_input("backepsilon", "∍") + call cornelis#bind_input("backprime", "‵") + call cornelis#bind_input("backsim", "∽") + call cornelis#bind_input("backsimeq", "⋍") + call cornelis#bind_input("barwedge", "⊼") + call cornelis#bind_input("bb", "𝕓") + call cornelis#bind_input("bc", "𝕔") + call cornelis#bind_input("bd", "𝕕") + call cornelis#bind_input("be", "𝕖") + call cornelis#bind_input("because", "∵") + call cornelis#bind_input("begin", "〖") + call cornelis#bind_input("below", "┬") + call cornelis#bind_input("beta", "β") + call cornelis#bind_input("beth", "ℶ") + call cornelis#bind_input("between", "≬") + call cornelis#bind_input("bf", "𝕗") + call cornelis#bind_input("bg", "𝕘") + call cornelis#bind_input("bh", "𝕙") + call cornelis#bind_input("bi", "𝕚") + 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("bigtriangledown", "▽") + call cornelis#bind_input("bigtriangleup", "△") + call cornelis#bind_input("biguplus", "⨄") + call cornelis#bind_input("bigvee", "⋁") + call cornelis#bind_input("bigwedge", "⋀") + call cornelis#bind_input("biohazard", "☣") + call cornelis#bind_input("bitcoin", "₿") + call cornelis#bind_input("bj", "𝕛") + call cornelis#bind_input("bk", "𝕜") + call cornelis#bind_input("bl", "𝕝") + call cornelis#bind_input("blacklozenge", "✦") + call cornelis#bind_input("blacksmiley", "☻") + call cornelis#bind_input("blacksquare", "▪") + call cornelis#bind_input("blacktriangle", "▴") + call cornelis#bind_input("blacktriangledown", "▾") + call cornelis#bind_input("blacktriangleleft", "◂") + call cornelis#bind_input("blacktriangleright", "▸") + call cornelis#bind_input("bm", "𝕞") + call cornelis#bind_input("bn", "𝕟") + call cornelis#bind_input("bo", "𝕠") + call cornelis#bind_input("bot", "⊥") + call cornelis#bind_input("bowtie", "⋈") + 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("boxcircle", "⌼") + call cornelis#bind_input("boxcomp", "⌻") + call cornelis#bind_input("boxd", "⍗") + call cornelis#bind_input("boxdelta", "⍍") + call cornelis#bind_input("boxdi", "⌺") + call cornelis#bind_input("boxdiv", "⌹") + call cornelis#bind_input("boxeq", "⌸") + call cornelis#bind_input("boxeqn", "⍯") + call cornelis#bind_input("boxl", "⍇") + call cornelis#bind_input("boxminus", "⊟") + call cornelis#bind_input("boxnabla", "⍔") + call cornelis#bind_input("boxneq", "⍯") + call cornelis#bind_input("boxo", "⌻") + call cornelis#bind_input("boxplus", "⊞") + call cornelis#bind_input("boxr", "⍈") + call cornelis#bind_input("boxtimes", "⊠") + call cornelis#bind_input("boxu", "⍐") + call cornelis#bind_input("boxvee", "⍌") + call cornelis#bind_input("boxwedge", "⍓") + call cornelis#bind_input("bp", "𝕡") + call cornelis#bind_input("bq", "𝕢") + call cornelis#bind_input("br", "𝕣") + call cornelis#bind_input("bra", "⟨") call cornelis#bind_input("brokenbar", "¦") + call cornelis#bind_input("bs", "𝕤") + call cornelis#bind_input("bt", "𝕥") + call cornelis#bind_input("bu", "𝕦") + call cornelis#bind_input("bub", "•") + call cornelis#bind_input("bumpeq", "≏") + call cornelis#bind_input("but", "‣") + call cornelis#bind_input("buw", "◦") + call cornelis#bind_input("bv", "𝕧") + call cornelis#bind_input("bw", "𝕨") + call cornelis#bind_input("bx", "⊠") + call cornelis#bind_input("bx", "𝕩") + call cornelis#bind_input("by", "𝕪") + call cornelis#bind_input("bz", "𝕫") + call cornelis#bind_input("cC", "Ç") + call cornelis#bind_input("cD", "Ḑ") + call cornelis#bind_input("cE", "Ȩ") + call cornelis#bind_input("cG", "Ģ") + call cornelis#bind_input("cH", "Ḩ") + call cornelis#bind_input("cK", "Ķ") + call cornelis#bind_input("cL", "Ļ") + call cornelis#bind_input("cN", "Ņ") + call cornelis#bind_input("cR", "Ŗ") + call cornelis#bind_input("cS", "Ş") + call cornelis#bind_input("cT", "Ţ") + call cornelis#bind_input("cap", "∩") + call cornelis#bind_input("caution", "☡") + call cornelis#bind_input("cc", "ç") + call cornelis#bind_input("cd", "ḑ") + call cornelis#bind_input("cdot", "·") + call cornelis#bind_input("cdots", "⋯") + call cornelis#bind_input("ce", "ȩ") + call cornelis#bind_input("cedi", "₵") + call cornelis#bind_input("celsius", "℃") + call cornelis#bind_input("cent", "¢") + call cornelis#bind_input("centerdot", "·") + call cornelis#bind_input("cg", "ģ") + call cornelis#bind_input("ch", "ḩ") + call cornelis#bind_input("checkmark", "✓") + call cornelis#bind_input("chi", "χ") + call cornelis#bind_input("ci.", "◎") + call cornelis#bind_input("ci..", "◌") + call cornelis#bind_input("ciO", "◯") + call cornelis#bind_input("cib", "●") + call cornelis#bind_input("circ", "∘") + 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("ciw", "○") + call cornelis#bind_input("ck", "ķ") + call cornelis#bind_input("clL", "⌊") + call cornelis#bind_input("clR", "⌋") + call cornelis#bind_input("cll", "⌞") + call cornelis#bind_input("close", "┤") + call cornelis#bind_input("clr", "⌟") + call cornelis#bind_input("clubsuit", "♣") + call cornelis#bind_input("cn", "ņ") + call cornelis#bind_input("coint", "∲") + call cornelis#bind_input("colon", "₡") + call cornelis#bind_input("coloneq", "≔") + call cornelis#bind_input("comp", "∘") + call cornelis#bind_input("complement", "∁") + call cornelis#bind_input("cong", "≅") + call cornelis#bind_input("construction", "🚧") + call cornelis#bind_input("coprod", "∐") + call cornelis#bind_input("copyright", "©") + call cornelis#bind_input("cr", "ŗ") + call cornelis#bind_input("cruzeiro", "₢") + call cornelis#bind_input("cs", "ş") + call cornelis#bind_input("ct", "ţ") + call cornelis#bind_input("cuL", "⌈") + call cornelis#bind_input("cuR", "⌉") + call cornelis#bind_input("cul", "⌜") + call cornelis#bind_input("cup", "∪") + call cornelis#bind_input("cur", "⌝") + 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("currency", "¤") + call cornelis#bind_input("curvearrowleft", "↶") + call cornelis#bind_input("curvearrowright", "↷") + call cornelis#bind_input("c{C}", "Ç") + call cornelis#bind_input("c{D}", "Ḑ") + call cornelis#bind_input("c{E}", "Ȩ") + call cornelis#bind_input("c{G}", "Ģ") + call cornelis#bind_input("c{H}", "Ḩ") + call cornelis#bind_input("c{K}", "Ķ") + call cornelis#bind_input("c{L}", "Ļ") + call cornelis#bind_input("c{N}", "Ņ") + call cornelis#bind_input("c{R}", "Ŗ") + call cornelis#bind_input("c{S}", "Ş") + call cornelis#bind_input("c{T}", "Ţ") + call cornelis#bind_input("c{c}", "ç") + call cornelis#bind_input("c{d}", "ḑ") + call cornelis#bind_input("c{e}", "ȩ") + call cornelis#bind_input("c{g}", "ģ") + call cornelis#bind_input("c{h}", "ḩ") + call cornelis#bind_input("c{k}", "ķ") + call cornelis#bind_input("c{l}", "ļ") + call cornelis#bind_input("c{n}", "ņ") + call cornelis#bind_input("c{r}", "ŗ") + call cornelis#bind_input("c{s}", "ş") + call cornelis#bind_input("c{t}", "ţ") + call cornelis#bind_input("c{}", "¸") + call cornelis#bind_input("d-", "↓") + 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("dag", "†") + call cornelis#bind_input("dagger", "†") + call cornelis#bind_input("daleth", "ℸ") + call cornelis#bind_input("dashv", "⊣") + call cornelis#bind_input("dd", "ⅆ") + call cornelis#bind_input("dd-", "↡") + call cornelis#bind_input("ddag", "‡") + call cornelis#bind_input("ddagger", "‡") + call cornelis#bind_input("ddddot", "⃜") + call cornelis#bind_input("dddot", "⃛") + call cornelis#bind_input("ddots", "⋱") + call cornelis#bind_input("def=", "≝") + call cornelis#bind_input("defs", "≙") call cornelis#bind_input("degree", "°") - call cornelis#bind_input("?", "¿") - call cornelis#bind_input("^a_", "ª") - call cornelis#bind_input("^o_", "º") + call cornelis#bind_input("dei", "ϯ") + call cornelis#bind_input("delta", "δ") + call cornelis#bind_input("dh", "ð") + call cornelis#bind_input("di.", "◈") + call cornelis#bind_input("diameter", "⌀") + call cornelis#bind_input("diamond", "⋄") + call cornelis#bind_input("diamondsuit", "♢") + call cornelis#bind_input("dib", "◆") + call cornelis#bind_input("digamma", "ϝ") + call cornelis#bind_input("div", "÷") + call cornelis#bind_input("divideontimes", "⋇") + call cornelis#bind_input("division", "÷") + call cornelis#bind_input("diw", "◇") + call cornelis#bind_input("dl-", "↙") + call cornelis#bind_input("dl=", "⇙") + call cornelis#bind_input("dong", "₫") + call cornelis#bind_input("doteq", "≐") + call cornelis#bind_input("doteqdot", "≑") + 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("dr-", "↘") + call cornelis#bind_input("dr=", "⇘") + call cornelis#bind_input("drachma", "₯") + call cornelis#bind_input("dsmash", "⬇") + call cornelis#bind_input("dz", "↯") + call cornelis#bind_input("d{A}", "Ạ") + call cornelis#bind_input("d{B}", "Ḅ") + call cornelis#bind_input("d{D}", "Ḍ") + call cornelis#bind_input("d{E}", "Ẹ") + call cornelis#bind_input("d{H}", "Ḥ") + call cornelis#bind_input("d{I}", "Ị") + call cornelis#bind_input("d{K}", "Ḳ") + call cornelis#bind_input("d{L}", "Ḷ") + call cornelis#bind_input("d{M}", "Ṃ") + call cornelis#bind_input("d{N}", "Ṇ") + call cornelis#bind_input("d{O}", "Ọ") + call cornelis#bind_input("d{R}", "Ṛ") + call cornelis#bind_input("d{S}", "Ṣ") + call cornelis#bind_input("d{T}", "Ṭ") + call cornelis#bind_input("d{U}", "Ụ") + call cornelis#bind_input("d{V}", "Ṿ") + call cornelis#bind_input("d{W}", "Ẉ") + call cornelis#bind_input("d{Y}", "Ỵ") + call cornelis#bind_input("d{Z}", "Ẓ") + call cornelis#bind_input("d{a}", "ạ") + call cornelis#bind_input("d{b}", "ḅ") + call cornelis#bind_input("d{d}", "ḍ") + call cornelis#bind_input("d{e}", "ẹ") + call cornelis#bind_input("d{h}", "ḥ") + call cornelis#bind_input("d{i}", "ị") + call cornelis#bind_input("d{k}", "ḳ") + call cornelis#bind_input("d{l}", "ḷ") + call cornelis#bind_input("d{m}", "ṃ") + call cornelis#bind_input("d{n}", "ṇ") + call cornelis#bind_input("d{o}", "ọ") + call cornelis#bind_input("d{r}", "ṛ") + call cornelis#bind_input("d{s}", "ṣ") + call cornelis#bind_input("d{t}", "ṭ") + call cornelis#bind_input("d{u}", "ụ") + call cornelis#bind_input("d{v}", "ṿ") + call cornelis#bind_input("d{w}", "ẉ") + call cornelis#bind_input("d{y}", "ỵ") + call cornelis#bind_input("d{z}", "ẓ") + call cornelis#bind_input("ee", "ⅇ") + call cornelis#bind_input("ell", "ℓ") + call cornelis#bind_input("em", "—") + call cornelis#bind_input("emptyset", "∅") + call cornelis#bind_input("en", "–") + call cornelis#bind_input("end", "〗") + call cornelis#bind_input("epsilon", "ϵ") + 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("eta", "η") + call cornelis#bind_input("euro", "€") + call cornelis#bind_input("ex", "∃") + call cornelis#bind_input("exists", "∃") + call cornelis#bind_input("exn", "∄") + call cornelis#bind_input("facsimile", "℻") + call cornelis#bind_input("fallingdotseq", "≒") + call cornelis#bind_input("fei", "ϥ") + call cornelis#bind_input("female", "♀") + call cornelis#bind_input("flat", "♭") + call cornelis#bind_input("flq", "‹") + call cornelis#bind_input("flqq", "«") + call cornelis#bind_input("forall", "∀") + call cornelis#bind_input("frac1", "⅟") + 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("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("frq", "›") + call cornelis#bind_input("frqq", "»") + call cornelis#bind_input("gamma", "γ") + call cornelis#bind_input("gangia", "ϫ") + call cornelis#bind_input("ge", "≥") + call cornelis#bind_input("gen", "≱") + call cornelis#bind_input("geqq", "≧") + call cornelis#bind_input("geqslant", "≥") + call cornelis#bind_input("gets", "←") + call cornelis#bind_input("gg", "≫") + call cornelis#bind_input("ggg", "⋙") + call cornelis#bind_input("gimel", "ℷ") + call cornelis#bind_input("glb", "⊓") + call cornelis#bind_input("glq", "‚") + call cornelis#bind_input("glqq", "„") + call cornelis#bind_input("gnapprox", "⋧") + call cornelis#bind_input("gneq", "≩") + call cornelis#bind_input("gneqq", "≩") + call cornelis#bind_input("gnsim", "⋧") + call cornelis#bind_input("grq", "‘") + call cornelis#bind_input("grqq", "“") + 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("guarani", "₲") + call cornelis#bind_input("gvertneqq", "≩") + call cornelis#bind_input("hbar", "ℏ") + call cornelis#bind_input("heartsuit", "♥") + call cornelis#bind_input("heta", "ͱ") + call cornelis#bind_input("hookleftarrow", "↩") + call cornelis#bind_input("hookrightarrow", "↪") + call cornelis#bind_input("hori", "ϩ") + call cornelis#bind_input("hphantom", "⬄") + call cornelis#bind_input("hryvnia", "₴") + call cornelis#bind_input("hsmash", "⬌") + call cornelis#bind_input("i", "∩") + call cornelis#bind_input("iff", "⇔") + call cornelis#bind_input("ii", "ⅈ") + call cornelis#bind_input("iiiint", "⨌") + call cornelis#bind_input("iiint", "∭") + call cornelis#bind_input("iint", "∬") + call cornelis#bind_input("imath", "ı") + call cornelis#bind_input("in", "∈") + call cornelis#bind_input("increment", "∆") + call cornelis#bind_input("inf", "∞") + call cornelis#bind_input("infty", "∞") + call cornelis#bind_input("inn", "∉") + call cornelis#bind_input("int", "∫") + call cornelis#bind_input("intercal", "⊺") + call cornelis#bind_input("iota", "ι") + call cornelis#bind_input("jj", "ⅉ") + call cornelis#bind_input("jmath", "ȷ") + call cornelis#bind_input("k", "̨") + call cornelis#bind_input("kA", "Ą") + call cornelis#bind_input("kE", "Ę") + call cornelis#bind_input("kI", "Į") + call cornelis#bind_input("kO", "Ǫ") + call cornelis#bind_input("kU", "Ų") + call cornelis#bind_input("ka", "ą") + call cornelis#bind_input("kappa", "κ") + call cornelis#bind_input("ke", "ę") + call cornelis#bind_input("kelvin", "K") + call cornelis#bind_input("khei", "ϧ") + call cornelis#bind_input("ki", "į") + call cornelis#bind_input("kip", "₭") + call cornelis#bind_input("ko", "ǫ") + call cornelis#bind_input("koppa", "ϟ") + call cornelis#bind_input("ku", "ų") + call cornelis#bind_input("k{A}", "Ą") + call cornelis#bind_input("k{E}", "Ę") + call cornelis#bind_input("k{I}", "Į") + call cornelis#bind_input("k{O}", "Ǫ") + call cornelis#bind_input("k{U}", "Ų") + call cornelis#bind_input("k{a}", "ą") + call cornelis#bind_input("k{e}", "ę") + call cornelis#bind_input("k{i}", "į") + call cornelis#bind_input("k{o}", "ǫ") + call cornelis#bind_input("k{u}", "ų") + call cornelis#bind_input("k{}", "˛") + call cornelis#bind_input("l-", "←") + call cornelis#bind_input("l--", "⟵") + call cornelis#bind_input("l-2", "⇇") + call cornelis#bind_input("l->", "↢") + call cornelis#bind_input("l-n", "↚") + call cornelis#bind_input("l-r-", "⇆") + 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("lambda", "λ") + call cornelis#bind_input("lambdabar", "ƛ") + call cornelis#bind_input("lamda", "λ") + call cornelis#bind_input("langle", "⟨") + call cornelis#bind_input("lari", "₾") + call cornelis#bind_input("lbag", "⟅") + call cornelis#bind_input("lceil", "⌈") + call cornelis#bind_input("ldata", "《") + call cornelis#bind_input("ldiv", "∕") + call cornelis#bind_input("ldots", "…") + call cornelis#bind_input("ldq", "“") + call cornelis#bind_input("le", "≤") + call cornelis#bind_input("leadsto", "↝") + call cornelis#bind_input("leftarrow", "←") + call cornelis#bind_input("leftarrowtail", "↢") + call cornelis#bind_input("leftharpoondown", "↽") + call cornelis#bind_input("leftharpoonup", "↼") + call cornelis#bind_input("leftleftarrows", "⇇") + call cornelis#bind_input("leftrightarrow", "↔") + call cornelis#bind_input("leftrightarrows", "⇆") + call cornelis#bind_input("leftrightharpoons", "⇋") + call cornelis#bind_input("leftrightsquigarrow", "↭") + call cornelis#bind_input("leftthreetimes", "⋋") + call cornelis#bind_input("len", "≰") + call cornelis#bind_input("leqq", "≦") + call cornelis#bind_input("leqslant", "≤") + 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("lfloor", "⌊") + call cornelis#bind_input("lhd", "◁") + call cornelis#bind_input("lira", "₤") + call cornelis#bind_input("ll", "≪") + call cornelis#bind_input("ll-", "↞") + call cornelis#bind_input("llbracket", "〚") + call cornelis#bind_input("llcorner", "⌞") + call cornelis#bind_input("lnapprox", "⋦") + call cornelis#bind_input("lneq", "≨") + call cornelis#bind_input("lneqq", "≨") + call cornelis#bind_input("lnot", "¬") + call cornelis#bind_input("lnsim", "⋦") + 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("lr-", "↔") + 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("lrcorner", "⌟") + call cornelis#bind_input("lr~", "↭") + call cornelis#bind_input("ltimes", "⋉") + call cornelis#bind_input("lub", "⊔") + call cornelis#bind_input("lvertneqq", "≨") + call cornelis#bind_input("lz", "◊") + call cornelis#bind_input("l~", "↜") + call cornelis#bind_input("m=", "≞") + call cornelis#bind_input("male", "♂") + call cornelis#bind_input("maltese", "✠") + call cornelis#bind_input("manat", "₼") + call cornelis#bind_input("mapsto", "↦") + call cornelis#bind_input("mathscr{I}", "ℐ") + call cornelis#bind_input("measuredangle", "∡") + call cornelis#bind_input("mho", "℧") + call cornelis#bind_input("micro", "µ") + call cornelis#bind_input("mid", "∣") + call cornelis#bind_input("mill", "₥") + call cornelis#bind_input("minus", "−") + call cornelis#bind_input("models", "⊧") + call cornelis#bind_input("mp", "∓") + call cornelis#bind_input("mu", "μ") + call cornelis#bind_input("multimap", "⊸") + call cornelis#bind_input("multiplication", "×") + 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("nabla", "∇") + call cornelis#bind_input("naira", "₦") + call cornelis#bind_input("napprox", "≉") + call cornelis#bind_input("nat", "ℕ") + call cornelis#bind_input("natural", "♮") + call cornelis#bind_input("ncong", "≇") + call cornelis#bind_input("ne", "≠") + call cornelis#bind_input("nearrow", "↗") + call cornelis#bind_input("neg", "¬") + call cornelis#bind_input("neq", "≠") + call cornelis#bind_input("nequiv", "≢") + call cornelis#bind_input("nexists", "∄") + call cornelis#bind_input("ngeq", "≱") + call cornelis#bind_input("ngeqq", "≱") + call cornelis#bind_input("ngeqslant", "≱") + call cornelis#bind_input("ngtr", "≯") + call cornelis#bind_input("ni", "∋") + call cornelis#bind_input("nin", "∌") + call cornelis#bind_input("nleftarrow", "↚") + call cornelis#bind_input("nleftrightarrow", "↮") + call cornelis#bind_input("nleq", "≰") + call cornelis#bind_input("nleqq", "≰") + call cornelis#bind_input("nleqslant", "≰") + call cornelis#bind_input("nless", "≮") + call cornelis#bind_input("nmid", "∤") + call cornelis#bind_input("nomisma", "𐆎") + call cornelis#bind_input("not", "̸") + call cornelis#bind_input("notin", "∉") + call cornelis#bind_input("nparallel", "∦") + call cornelis#bind_input("nprec", "⊀") + call cornelis#bind_input("npreceq", "⋠") + call cornelis#bind_input("nrightarrow", "↛") + call cornelis#bind_input("nshortmid", "∤") + call cornelis#bind_input("nshortparallel", "∦") + call cornelis#bind_input("nsim", "≁") + call cornelis#bind_input("nsimeq", "≄") + call cornelis#bind_input("nsubset", "⊄") + call cornelis#bind_input("nsubseteq", "⊈") + call cornelis#bind_input("nsubseteqq", "⊈") + call cornelis#bind_input("nsucc", "⊁") + call cornelis#bind_input("nsucceq", "⋡") + call cornelis#bind_input("nsupset", "⊅") + call cornelis#bind_input("nsupseteq", "⊉") + call cornelis#bind_input("nsupseteqq", "⊉") + call cornelis#bind_input("ntriangleleft", "⋪") + call cornelis#bind_input("ntrianglelefteq", "⋬") + call cornelis#bind_input("ntriangleright", "⋫") + call cornelis#bind_input("ntrianglerighteq", "⋭") + call cornelis#bind_input("nu", "ν") + call cornelis#bind_input("numero", "№") + call cornelis#bind_input("nvDash", "⊭") + call cornelis#bind_input("nvdash", "⊬") + call cornelis#bind_input("nwarrow", "↖") + call cornelis#bind_input("o", "∘") + call cornelis#bind_input("o*", "⊛") + call cornelis#bind_input("o+", "⊕") + call cornelis#bind_input("o-", "⊝") + call cornelis#bind_input("o--", "⊖") + call cornelis#bind_input("o.", "⊙") + call cornelis#bind_input("o/", "⊘") + call cornelis#bind_input("o=", "⊜") + call cornelis#bind_input("octagonal", "🛑") + call cornelis#bind_input("odot", "⊙") + call cornelis#bind_input("oe", "œ") + call cornelis#bind_input("ohm", "Ω") + call cornelis#bind_input("oiiint", "∰") + call cornelis#bind_input("oiint", "∯") + call cornelis#bind_input("oint", "∮") + call cornelis#bind_input("omega", "ω") + call cornelis#bind_input("omicron", "ο") + call cornelis#bind_input("ominus", "⊖") + call cornelis#bind_input("oo", "⊚") + call cornelis#bind_input("oplus", "⊕") + call cornelis#bind_input("or", "∨") + call cornelis#bind_input("or=", "≚") + call cornelis#bind_input("ordfeminine", "ª") + call cornelis#bind_input("ordmasculine", "º") + call cornelis#bind_input("oslash", "⊘") + call cornelis#bind_input("otimes", "⊗") + call cornelis#bind_input("ounce", "℥") + call cornelis#bind_input("overbrace", "⏞") + call cornelis#bind_input("overparen", "⏜") + call cornelis#bind_input("ox", "⊗") + call cornelis#bind_input("pab", "▰") + call cornelis#bind_input("paragraph", "¶") + call cornelis#bind_input("parallel", "∥") + call cornelis#bind_input("partial", "∂") + call cornelis#bind_input("partnership", "㉐") + call cornelis#bind_input("paw", "▱") + call cornelis#bind_input("per", "⅌") + call cornelis#bind_input("permil", "‰") + call cornelis#bind_input("perp", "⊥") + call cornelis#bind_input("peseta", "₧") + call cornelis#bind_input("peso", "₱") + call cornelis#bind_input("phantom", "⟡") + call cornelis#bind_input("phi", "ϕ") + call cornelis#bind_input("pi", "π") + call cornelis#bind_input("pilcrow", "¶") + call cornelis#bind_input("pitchfork", "⋔") + call cornelis#bind_input("pm", "±") + call cornelis#bind_input("pound", "£") + call cornelis#bind_input("pounds", "£") + call cornelis#bind_input("pppprime", "⁗") + call cornelis#bind_input("ppprime", "‴") + call cornelis#bind_input("pprime", "″") + call cornelis#bind_input("prcue", "≼") + call cornelis#bind_input("prec", "≺") + 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("prime", "′") + call cornelis#bind_input("prod", "∏") + call cornelis#bind_input("prohibited", "🛇") + call cornelis#bind_input("propto", "∝") + call cornelis#bind_input("psi", "ψ") + call cornelis#bind_input("qdrt", "∜") + call cornelis#bind_input("qed", "∎") + call cornelis#bind_input("quad", " ") + call cornelis#bind_input("r-", "→") + call cornelis#bind_input("r--", "⟶") + call cornelis#bind_input("r-2", "⇉") + call cornelis#bind_input("r-3", "⇶") + call cornelis#bind_input("r->", "↣") + call cornelis#bind_input("r-l-", "⇄") + call cornelis#bind_input("r-n", "↛") + call cornelis#bind_input("r-o", "⊸") + call cornelis#bind_input("r-|", "↦") + call cornelis#bind_input("r=", "⇒") + call cornelis#bind_input("r==", "⇛") + call cornelis#bind_input("r=n", "⇏") + call cornelis#bind_input("radioactive", "☢") + call cornelis#bind_input("rangle", "⟩") + call cornelis#bind_input("ratio", "∶") + call cornelis#bind_input("rbag", "⟆") + call cornelis#bind_input("rceil", "⌉") + call cornelis#bind_input("rdata", "》") + call cornelis#bind_input("rddots", "⋰") + call cornelis#bind_input("rdq", "”") + call cornelis#bind_input("rect", "▭") + call cornelis#bind_input("registered", "®") + call cornelis#bind_input("rfloor", "⌋") + call cornelis#bind_input("rhd", "▷") + call cornelis#bind_input("rho", "ρ") + call cornelis#bind_input("rial", "﷼") + call cornelis#bind_input("rightarrow", "→") + call cornelis#bind_input("rightarrowtail", "↣") + 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("rq", "’") + call cornelis#bind_input("rr-", "↠") + call cornelis#bind_input("rrbracket", "〛") + call cornelis#bind_input("rrect", "▢") + call cornelis#bind_input("rtimes", "⋊") + call cornelis#bind_input("ruble", "₽") + call cornelis#bind_input("rupee", "₨") + call cornelis#bind_input("r~", "↝") + call cornelis#bind_input("sampi", "ϡ") + call cornelis#bind_input("san", "ϻ") + call cornelis#bind_input("sbs", "﹨") + call cornelis#bind_input("sdiv", "⁄") + call cornelis#bind_input("searrow", "↘") + call cornelis#bind_input("section", "§") + call cornelis#bind_input("setminus", "∖") + call cornelis#bind_input("sharp", "♯") + call cornelis#bind_input("shei", "ϣ") + call cornelis#bind_input("shima", "ϭ") + call cornelis#bind_input("sho", "ϸ") + call cornelis#bind_input("shortmid", "∣") + call cornelis#bind_input("shortparallel", "∥") + call cornelis#bind_input("sigma", "σ") + call cornelis#bind_input("sim", "∼") + call cornelis#bind_input("simeq", "≃") + 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("som", "⃀") + call cornelis#bind_input("spadesuit", "♠") + call cornelis#bind_input("spesmilo", "₷") + call cornelis#bind_input("sphericalangle", "∢") + call cornelis#bind_input("sq", "□") + call cornelis#bind_input("sq.", "▣") + call cornelis#bind_input("sqcap", "⊓") + call cornelis#bind_input("sqcup", "⊔") + call cornelis#bind_input("sqo", "▢") + call cornelis#bind_input("sqrt", "√") + call cornelis#bind_input("sqrt[3]", "∛") + call cornelis#bind_input("sqrt[4]", "∜") + call cornelis#bind_input("sqsubset", "⊏") + call cornelis#bind_input("sqsubseteq", "⊑") + call cornelis#bind_input("sqsupset", "⊐") + call cornelis#bind_input("sqsupseteq", "⊒") + call cornelis#bind_input("square", "□") + call cornelis#bind_input("squb", "⊏") + call cornelis#bind_input("squb=", "⊑") + call cornelis#bind_input("squb=n", "⋢") + call cornelis#bind_input("squigarrowright", "⇝") + call cornelis#bind_input("squp", "⊐") + call cornelis#bind_input("squp=", "⊒") + call cornelis#bind_input("squp=n", "⋣") + call cornelis#bind_input("ss", "ß") + call cornelis#bind_input("st12", "✹") + call cornelis#bind_input("st6", "✶") + call cornelis#bind_input("st8", "✴") + call cornelis#bind_input("star", "⋆") + call cornelis#bind_input("star", "★") + call cornelis#bind_input("stigma", "ϛ") + call cornelis#bind_input("straightphi", "φ") + call cornelis#bind_input("sub", "⊂") + call cornelis#bind_input("sub=", "⊆") + call cornelis#bind_input("sub=n", "⊈") + call cornelis#bind_input("subn", "⊄") + call cornelis#bind_input("subset", "⊂") + call cornelis#bind_input("subseteq", "⊆") + call cornelis#bind_input("subseteqq", "⊆") + call cornelis#bind_input("subsetneq", "⊊") + call cornelis#bind_input("subsetneqq", "⊊") + call cornelis#bind_input("succ", "≻") + 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("sum", "∑") + call cornelis#bind_input("sup", "⊃") + call cornelis#bind_input("sup=", "⊇") + call cornelis#bind_input("sup=n", "⊉") + call cornelis#bind_input("supn", "⊅") + call cornelis#bind_input("supset", "⊃") + call cornelis#bind_input("supseteq", "⊇") + call cornelis#bind_input("supseteqq", "⊇") + call cornelis#bind_input("supsetneq", "⊋") + call cornelis#bind_input("supsetneqq", "⊋") + call cornelis#bind_input("surd", "√") + call cornelis#bind_input("surd3", "∛") + call cornelis#bind_input("surd4", "∜") + call cornelis#bind_input("swarrow", "↙") + call cornelis#bind_input("t=", "≜") + call cornelis#bind_input("t>", "▹") + call cornelis#bind_input("tau", "τ") + call cornelis#bind_input("telephone", "℡") + call cornelis#bind_input("tenge", "₸") + call cornelis#bind_input("textbaht", "฿") + call cornelis#bind_input("textbigcircle", "⃝") + call cornelis#bind_input("textcircledP", "℗") + call cornelis#bind_input("textcolonmonetary", "₡") + call cornelis#bind_input("textdied", "✝") + call cornelis#bind_input("textdiscount", "⁒") + call cornelis#bind_input("textestimated", "℮") + call cornelis#bind_input("textfractionsolidus", "⁄") + call cornelis#bind_input("textinterrobang", "‽") + call cornelis#bind_input("textlira", "₤") + call cornelis#bind_input("textlquill", "⁅") + call cornelis#bind_input("textmu", "µ") + call cornelis#bind_input("textmusicalnote", "♪") + call cornelis#bind_input("textnaira", "₦") + call cornelis#bind_input("textnumero", "№") + call cornelis#bind_input("textopenbullet", "◦") + call cornelis#bind_input("textpertenthousand", "‱") + call cornelis#bind_input("textpeso", "₱") + call cornelis#bind_input("textrecipe", "℞") + call cornelis#bind_input("textreferencemark", "※") + call cornelis#bind_input("textrquill", "⁆") + call cornelis#bind_input("textwon", "₩") + call cornelis#bind_input("th", "þ") + call cornelis#bind_input("therefore", "∴") + call cornelis#bind_input("theta", "θ") + call cornelis#bind_input("thickapprox", "≈") + call cornelis#bind_input("thicksim", "∼") + call cornelis#bind_input("tie", "⁀") + call cornelis#bind_input("times", "×") + call cornelis#bind_input("to", "→") + call cornelis#bind_input("top", "⊤") + call cornelis#bind_input("triangle", "▵") + call cornelis#bind_input("triangledown", "▿") + call cornelis#bind_input("triangleleft", "◃") + call cornelis#bind_input("trianglelefteq", "⊴") + call cornelis#bind_input("triangleq", "≜") + call cornelis#bind_input("triangleright", "▹") + call cornelis#bind_input("trianglerighteq", "⊵") + call cornelis#bind_input("tugrik", "₮") + call cornelis#bind_input("twoheadleftarrow", "↞") + call cornelis#bind_input("twoheadrightarrow", "↠") + call cornelis#bind_input("u+", "⊎") + call cornelis#bind_input("u-", "↑") + 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("uA", "Ă") + call cornelis#bind_input("uE", "Ĕ") + call cornelis#bind_input("uG", "Ğ") + call cornelis#bind_input("uI", "Ĭ") + call cornelis#bind_input("uO", "Ŏ") + call cornelis#bind_input("uU", "Ŭ") + call cornelis#bind_input("ua", "ă") + call cornelis#bind_input("ud-", "↕") + call cornelis#bind_input("ud-|", "↨") + call cornelis#bind_input("ud=", "⇕") + call cornelis#bind_input("ue", "ĕ") + call cornelis#bind_input("ug", "ğ") + call cornelis#bind_input("ui", "ĭ") + call cornelis#bind_input("ul-", "↖") + call cornelis#bind_input("ul=", "⇖") + call cornelis#bind_input("ulcorner", "⌜") + call cornelis#bind_input("un", "∪") + call cornelis#bind_input("uncertainty", "⯑") + call cornelis#bind_input("underbar", "▁") + call cornelis#bind_input("underbrace", "⏟") + call cornelis#bind_input("underparen", "⏝") + call cornelis#bind_input("undertie", "‿") + call cornelis#bind_input("uo", "ŏ") + 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("upsilon", "υ") + call cornelis#bind_input("upuparrows", "⇈") + call cornelis#bind_input("ur-", "↗") + call cornelis#bind_input("ur=", "⇗") + call cornelis#bind_input("urcorner", "⌝") + call cornelis#bind_input("uu", "ŭ") + call cornelis#bind_input("uu-", "↟") + call cornelis#bind_input("u{A}", "Ă") + call cornelis#bind_input("u{E}", "Ĕ") + call cornelis#bind_input("u{G}", "Ğ") + call cornelis#bind_input("u{I}", "Ĭ") + call cornelis#bind_input("u{O}", "Ŏ") + call cornelis#bind_input("u{U}", "Ŭ") + call cornelis#bind_input("u{a}", "ă") + call cornelis#bind_input("u{e}", "ĕ") + call cornelis#bind_input("u{g}", "ğ") + call cornelis#bind_input("u{i}", "ĭ") + call cornelis#bind_input("u{o}", "ŏ") + call cornelis#bind_input("u{u}", "ŭ") + call cornelis#bind_input("u{}", "˘") + call cornelis#bind_input("v", "̌") + call cornelis#bind_input("vA", "Ǎ") + call cornelis#bind_input("vC", "Č") + call cornelis#bind_input("vD", "Ď") + call cornelis#bind_input("vDash", "⊨") + call cornelis#bind_input("vE", "Ě") + call cornelis#bind_input("vG", "Ǧ") + call cornelis#bind_input("vH", "Ȟ") + call cornelis#bind_input("vI", "Ǐ") + call cornelis#bind_input("vK", "Ǩ") + call cornelis#bind_input("vL", "Ľ") + call cornelis#bind_input("vN", "Ň") + call cornelis#bind_input("vO", "Ǒ") + call cornelis#bind_input("vR", "Ř") + call cornelis#bind_input("vS", "Š") + call cornelis#bind_input("vT", "Ť") + call cornelis#bind_input("vU", "Ǔ") + call cornelis#bind_input("vZ", "Ž") + call cornelis#bind_input("va", "ǎ") + call cornelis#bind_input("varbeta", "ϐ") + call cornelis#bind_input("varepsilon", "ε") + call cornelis#bind_input("varkai", "ϗ") + call cornelis#bind_input("varkappa", "ϰ") + call cornelis#bind_input("varphi", "φ") + call cornelis#bind_input("varpi", "ϖ") + call cornelis#bind_input("varprime", "′") + call cornelis#bind_input("varpropto", "∝") + call cornelis#bind_input("varrho", "ϱ") + call cornelis#bind_input("varsigma", "ς") + call cornelis#bind_input("vartheta", "ϑ") + call cornelis#bind_input("vartriangleleft", "⊲") + call cornelis#bind_input("vartriangleright", "⊳") + call cornelis#bind_input("vbar", "│") + call cornelis#bind_input("vc", "č") + call cornelis#bind_input("vd", "ď") + call cornelis#bind_input("vdash", "⊢") + call cornelis#bind_input("vdots", "⋮") + call cornelis#bind_input("ve", "ě") + call cornelis#bind_input("vee", "∨") + call cornelis#bind_input("veebar", "⊻") + call cornelis#bind_input("vg", "ǧ") + call cornelis#bind_input("vh", "ȟ") + call cornelis#bind_input("vi", "ǐ") + call cornelis#bind_input("vj", "ǰ") + call cornelis#bind_input("vk", "ǩ") + call cornelis#bind_input("vl", "ľ") + call cornelis#bind_input("vn", "ň") + call cornelis#bind_input("vo", "ǒ") + call cornelis#bind_input("vphantom", "⇳") + call cornelis#bind_input("vr", "ř") + call cornelis#bind_input("vs", "š") + call cornelis#bind_input("vt", "ť") + call cornelis#bind_input("vu", "ǔ") + call cornelis#bind_input("vz", "ž") + call cornelis#bind_input("v{A}", "Ǎ") + call cornelis#bind_input("v{C}", "Č") + call cornelis#bind_input("v{D}", "Ď") + call cornelis#bind_input("v{E}", "Ě") + call cornelis#bind_input("v{G}", "Ǧ") + call cornelis#bind_input("v{H}", "Ȟ") + call cornelis#bind_input("v{I}", "Ǐ") + call cornelis#bind_input("v{K}", "Ǩ") + call cornelis#bind_input("v{L}", "Ľ") + call cornelis#bind_input("v{N}", "Ň") + call cornelis#bind_input("v{O}", "Ǒ") + call cornelis#bind_input("v{R}", "Ř") + call cornelis#bind_input("v{S}", "Š") + call cornelis#bind_input("v{T}", "Ť") + call cornelis#bind_input("v{U}", "Ǔ") + call cornelis#bind_input("v{Z}", "Ž") + call cornelis#bind_input("v{a}", "ǎ") + call cornelis#bind_input("v{c}", "č") + call cornelis#bind_input("v{d}", "ď") + call cornelis#bind_input("v{e}", "ě") + call cornelis#bind_input("v{g}", "ǧ") + call cornelis#bind_input("v{h}", "ȟ") + call cornelis#bind_input("v{i}", "ǐ") + call cornelis#bind_input("v{j}", "ǰ") + call cornelis#bind_input("v{k}", "ǩ") + call cornelis#bind_input("v{l}", "ľ") + call cornelis#bind_input("v{n}", "ň") + call cornelis#bind_input("v{o}", "ǒ") + call cornelis#bind_input("v{r}", "ř") + call cornelis#bind_input("v{s}", "š") + call cornelis#bind_input("v{t}", "ť") + call cornelis#bind_input("v{u}", "ǔ") + call cornelis#bind_input("v{z}", "ž") + call cornelis#bind_input("v{}", "ˇ") + call cornelis#bind_input("warning", "⚠") + call cornelis#bind_input("wedge", "∧") + call cornelis#bind_input("won", "₩") + call cornelis#bind_input("wp", "℘") + call cornelis#bind_input("wr", "≀") + call cornelis#bind_input("x", "×") + call cornelis#bind_input("xi", "ξ") + call cornelis#bind_input("yen", "¥") + call cornelis#bind_input("z:", "⦂") + call cornelis#bind_input("z;", "⨟") + call cornelis#bind_input("zeta", "ζ") + 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("|=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("||n", "∦") + 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("~=n", "≇") + call cornelis#bind_input("~A", "Ã") + call cornelis#bind_input("~E", "Ẽ") + call cornelis#bind_input("~I", "Ĩ") + call cornelis#bind_input("~N", "Ñ") + call cornelis#bind_input("~O", "Õ") + call cornelis#bind_input("~U", "Ũ") + call cornelis#bind_input("~V", "Ṽ") + call cornelis#bind_input("~Y", "Ỹ") + call cornelis#bind_input("~a", "ã") + call cornelis#bind_input("~e", "ẽ") + call cornelis#bind_input("~i", "ĩ") + call cornelis#bind_input("~n", "≁") + call cornelis#bind_input("~o", "õ") + call cornelis#bind_input("~u", "ũ") + call cornelis#bind_input("~v", "ṽ") + call cornelis#bind_input("~y", "ỹ") + call cornelis#bind_input("~{A}", "Ã") + call cornelis#bind_input("~{E}", "Ẽ") + call cornelis#bind_input("~{I}", "Ĩ") + call cornelis#bind_input("~{N}", "Ñ") + call cornelis#bind_input("~{O}", "Õ") + call cornelis#bind_input("~{U}", "Ũ") + call cornelis#bind_input("~{V}", "Ṽ") + call cornelis#bind_input("~{Y}", "Ỹ") + call cornelis#bind_input("~{a}", "ã") + call cornelis#bind_input("~{e}", "ẽ") + call cornelis#bind_input("~{i}", "ĩ") + call cornelis#bind_input("~{n}", "ñ") + call cornelis#bind_input("~{o}", "õ") + call cornelis#bind_input("~{u}", "ũ") + call cornelis#bind_input("~{v}", "ṽ") + call cornelis#bind_input("~{y}", "ỹ") + call cornelis#bind_input("~{}", "˜") + call cornelis#bind_input("~~", "≈") + call cornelis#bind_input("~~-", "≊") + call cornelis#bind_input("~~n", "≉") + call cornelis#bind_input("~~~", "≋") endif