matches:
- trigger: ":and"
replace: "∧"
- trigger: ":or"
replace: "∨"
- trigger: ":xor"
replace: "⩛"
- trigger: ":not"
replace: "¬"
- trigger: ":impl"
replace: "⇒"
- trigger: ":equiv"
replace: "⇔"
- trigger: ":forall"
replace: "∀"
- trigger: ":exist"
replace: "∃"
- trigger: ":inset"
replace: "∈"
- trigger: ":notin"
replace: "∉"
- trigger: ":niset"
replace: "∋"
- trigger: ":notni"
replace: "∌"
- trigger: ":subset"
replace: "⊂"
- trigger: ":subseq"
replace: "⊆"
- trigger: ":supset"
replace: "⊃"
- trigger: ":supseq"
replace: "⊇"
- trigger: ":union"
replace: "∪"
- trigger: ":intersect"
replace: "∩"
- trigger: ":therefore"
replace: "∴"
- trigger: ":because"
replace: "∵"
- trigger: ":qed"
replace: "■"
- trigger: ":cong"
replace: "≅"
- trigger: ":sqrt"
replace: "√"
- trigger: ":approx"
replace: "≈"
- trigger: ":sum"
replace: "∑"
- trigger: ":integral"
replace: "∫"
- trigger: ":dagger"
replace: "†"