matches:
- trigger: "\\\\to"
replace: "→"
- trigger: "\\\\bbN"
replace: "ℕ"
- trigger: "\\\\bbR"
replace: "ℝ"
- trigger: "\\\\pi"
replace: "π"
- trigger: "\\\\bbB"
replace: "𝔹"
- trigger: "\\\\cdot"
replace: "⋅"
- trigger: "\\\\theta"
replace: "θ"
- trigger: "\\\\psi"
replace: "ψ"
- trigger: "\\\\lambda"
replace: "λ"
- trigger: "\\\\neg"
replace: "¬"
- trigger: "\\\\times"
replace: "×"
- trigger: "\\\\pm"
replace: "±"
- trigger: "\\\\bb1"
replace: "𝟙"
- trigger: "\\\\bra"
replace: "⟨"
- trigger: "\\\\ket"
replace: "⟩"