diff --git a/src/emacs/lean-input.el b/src/emacs/lean-input.el
index f4172f393..22d45c6a6 100644
--- a/src/emacs/lean-input.el
+++ b/src/emacs/lean-input.el
@@ -257,6 +257,8 @@ order for the change to take effect."
   ("subn"  . ("⊄"))  ("supn"  . ("⊅"))
   ("sub="  . ("⊆"))  ("sup="  . ("⊇"))
   ("sub=n" . ("⊈"))  ("sup=n" . ("⊉"))
+  ("subeq"  . ("⊆")) ("supeq"  . ("⊇"))
+  ("subeqn" . ("⊈")) ("supeqn" . ("⊉"))
 
   ("squb"   . ("⊏"))  ("squp"   . ("⊐"))
   ("squb="  . ("⊑"))  ("squp="  . ("⊒"))
@@ -265,6 +267,7 @@ order for the change to take effect."
   ;; Set membership etc.
 
   ("member" . ,(lean-input-to-string-list "∈∉∊∋∌∍⋲⋳⋴⋵⋶⋷⋸⋹⋺⋻⋼⋽⋾⋿"))
+  ("mem" . ("∈"))
 
   ("inn" . ("∉"))
   ("nin" . ("∌"))