metamath.vim (798B)
1 if exists("b:current_syntax") 2 finish 3 endif 4 5 syn match metamathKeyword '\$[apfe]' skipwhite 6 syn match metamathUnlabeledKeyword '\$[d=.cv]' skipwhite 7 syn region metamathComment start="\$(" end="\$)" contains=metamathIllegalCharacter 8 syn region metamathInclude start="\$\[" end="\$\]" 9 syn match metamathLabelDeclaration '[-._a-zA-Z0-9]\+\(\(\s\|\n\)\+\$[apfe]\)\@=' 10 syn match metamathIllegalCharacter '[^\t\r\n -~]' 11 syn match metamathIllegalKeyword '\$\([^apfed=.cv(){}\[\]]\|[apfed=.cv(){}\[\]]\S\+\)' 12 13 hi def link metamathKeyword Statement 14 hi def link metamathUnlabeledKeyword Statement 15 hi def link metamathComment Comment 16 hi def link metamathInclude PreProc 17 hi def link metamathLabelDeclaration Identifier 18 hi def link metamathIllegalCharacter Error 19 hi def link metamathIllegalKeyword Error