chore(emacs): minor adjustments to synthax hightlight and input mode

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>

src/emacs/lean-input.el

@@ -300,8 +300,8 @@ order for the change to take effect."
   ("clr" . ("⌟"))  ("clR" . ("⌋"))
 
   ;; Various operators/symbols.
-  ("trans"     . ("⬝"))
-  ("symm"      . ("⁻¹"))
+  ("tr"        . ("⬝"))
+  ("sy"        . ("⁻¹"))
   ("qed"       . ("∎"))
   ("x"         . ("×"))
   ("o"         . ("∘"))
@@ -419,7 +419,7 @@ order for the change to take effect."
 
   ;; Big/small, black/white.
 
-  ("t" . ,(lean-input-to-string-list "◂◃◄◅▸▹►▻▴▵▾▿◢◿◣◺◤◸◥◹"))
+  ("t" . ,(lean-input-to-string-list "▸▹►▻◂◃◄◅▴▵▾▿◢◿◣◺◤◸◥◹"))
   ("T" . ,(lean-input-to-string-list "◀◁▶▷▲△▼▽◬◭◮"))
 
   ("tb" . ,(lean-input-to-string-list "◂▸▴▾◄►◢◣◤◥"))

src/emacs/lean-syntax.el

@@ -75,13 +75,6 @@
            (zero-or-more whitespace)
            line-end)
       (2 'font-lock-function-name-face))
-     ;; import "names"
-     (,(rx symbol-start
-           (group (or "import" "open"))
-           symbol-end
-           (group (zero-or-more any))
-           line-end)
-      (2 'font-lock-constant-face))
      ("\\(set_option\\)[ \t]*\\([^ \t\n]*\\)" (2 'font-lock-constant-face))
      ;; place holder
      (,(rx symbol-start "_" symbol-end) . 'font-lock-preprocessor-face)