diff --git a/agda-input.vim b/agda-input.vim
index 96aea46..00676a1 100644
--- a/agda-input.vim
+++ b/agda-input.vim
@@ -243,7 +243,6 @@ if !exists("g:cornelis_no_agda_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", "⇎")
@@ -538,7 +537,6 @@ if !exists("g:cornelis_no_agda_input")
   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("GR", "Ρ")
   call cornelis#bind_input("GS", "Σ")
@@ -566,7 +564,6 @@ if !exists("g:cornelis_no_agda_input")
   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("Gr", "ρ")
   call cornelis#bind_input("Gs", "σ")
@@ -1280,7 +1277,6 @@ if !exists("g:cornelis_no_agda_input")
   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", "𝕫")
@@ -1902,7 +1898,6 @@ if !exists("g:cornelis_no_agda_input")
   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", "φ")