From 95dae116705a9e63ff3314887e6a2dca15aa95d5 Mon Sep 17 00:00:00 2001
From: Jeremy Avigad <avigad@cmu.edu>
Date: Sun, 10 May 2015 17:55:15 +1000
Subject: [PATCH] feat(src/emacs/lean-input.el): add abbreviations 'mem',
 'subeq', etc.

---
 src/emacs/lean-input.el | 3 +++
 1 file changed, 3 insertions(+)

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" . ("∌"))