diff --git a/syntax/beluga.vim b/syntax/beluga.vim
index 130c078..89bd77e 100644
--- a/syntax/beluga.vim
+++ b/syntax/beluga.vim
@@ -1,15 +1,15 @@
 if exists('b:current_syntax')
   finish
 endif
-let b:current_syntax = 'beluga'
+let b:current_syntax = 'maude'
 
 setlocal iskeyword=48-57,a-z,A-Z,!,$,&,',*,+,_,/,=,@,-,~,#,^
 
-syn match belArrowEtc /->\|=>\|→\|⇒\||-#\?\|⊢\|\<=\>\|:/
+syn match belArrowEtc /->\|=>\|→\|←\|⇒\||-#\?\|⊢\|\<=\>\|:/
 hi def link belArrowEtc Function
 
-syn match belDelim /[()[\]{}.;,]\|\<\/\>\||-\@!\|<\|-\@<!>/
-hi def link belDelim Delimiter
+syn match belBrack /[()[\]{}.;,]\|\<\/\>\||-\@!/
+hi def link belBrack Delimiter
 
 syn match belComment /%\s.*$/
 hi def link belComment Comment
@@ -35,18 +35,12 @@ hi def link belTotal Special
 syn keyword belTrust trust
 hi def link belTrust Underlined
 
-syn match belSubstConst /\.\.\|\^/
-hi def link belSubstConst Constant
+syn match belIdSubst /\.\./
+hi def link belIdSubst Constant
 
 syn keyword belIdBlock some block
 hi def link belIdBlock Structure
 
-syn keyword belModule module struct end
-hi def link belModule Structure
-
-syn match belQualName /\>::\</
-hi def link belQualName Normal
-
 syn match belVarVar /#\k\+/
 hi def link belVarVar Constant
 
@@ -77,7 +71,3 @@ hi def link belBool Boolean
 
 syn keyword belIf if then else
 hi def link belIf Keyword
-
-syn match belugaError /<-/
-syn keyword belugaError prop
-hi def link belugaError Error