diff --git a/vim/syntax/mercury.vim b/vim/syntax/mercury.vim index 61e54d7f69..6f4890f7f5 100644 --- a/vim/syntax/mercury.vim +++ b/vim/syntax/mercury.vim @@ -251,6 +251,9 @@ if has("conceal") && exists("mercury_conceal") && mercury_conceal syn match mercuryOperator "\\=[=]\@!" conceal cchar=≠ syn match mercuryOperator "`x`" conceal cchar=× syn match mercuryOperator "//" conceal cchar=÷ + syn match mercuryOperator "--->" conceal cchar=⟶ + syn match mercuryOperator "==" conceal cchar=≡ + syn match mercuryOperator ":-" conceal cchar=⊢ " unfortunately, Vim does not allow different conceal colours, " so these are not concealed by default