better support for lm

Roland Leißa · Roland Leißa · commit 3bb7b1dc26c4 · 2025-05-16T21:01:36.000+02:00
diff --git a/ftplugin/mim.vim b/ftplugin/mim.vim
@@ -9,9 +9,9 @@ iabbrev \to →
 iabbrev \top ⊤
 iabbrev \bot ⊥
 iabbrev -> →
-iabbrev \lam λ
-iabbrev \< ›
-iabbrev \> ‹
+iabbrev \lm λ
+iabbrev \< ‹
+iabbrev \> ›
 iabbrev \<< «
 iabbrev \>> »
 iabbrev \{ ⦃
diff --git a/syntax/mim.vim b/syntax/mim.vim
@@ -24,6 +24,7 @@ syn match mimKeyword     "cfun"
 syn match mimKeyword     "fun"
 syn match mimKeyword     "cn"
 syn match mimKeyword     "fn"
+syn match mimKeyword     "lm"
 syn match mimKeyword     "Fn"
 syn match mimKeyword     "Cn"
 syn match mimKeyword     "Idx"
