Abbreviations `\/` and `\quot` for `⧸`
Abbreviations `\/` and `\quot` for `⧸`

[Mathlib PR 10501](https://github.com/leanprover-community/mathlib/pull/10501) introduces `⧸` as an infix operator producing quotient types. I propose that we use `\/` and `\quot` as abbreviations for this operator.

I'm not quite sure what the best place would be to add these - I went for adding "quot" right after the alphabetically previous "quad", and "/" next.
leanprover/vscode-lean,leanprover/vscode-lean,leanprover/vscode-lean