fix(abbreviations.json): update norm symbol (#319)
fix(abbreviations.json): update norm symbol (#319)

* update norm symbol

* re-add fuzzy

* remove negated version
leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean