syntax match lambda "\\" conceal cchar=λ
syntax match div "//" conceal cchar=÷
syntax match mul "*" conceal cchar=×
syntax match neq1 contained "/" conceal cchar=! containedin=neq
syntax match neq "/=" contains=neq1
setlocal conceallevel=2
setlocal concealcursor=nvic
