matches:
#
# ARROWS
#
# right arrow
- trigger: ":to:"
replace: "⟶"
# right arrow
- trigger: ":arrow_right:"
replace: "⟶"
# left arrow
- trigger: ":ot:"
replace: "⟵"
# left arrow
- trigger: ":arrow_left:"
replace: "⟵"
# upwards arrow
- trigger: ":arrow_up:"
replace: "↑"
# downwards arrow
- trigger: ":arrow_down:"
replace: "↓"
# left and right arrow
- trigger: ":arrow_left_and_right:"
replace: "⇄"
# leftrightarrow
- trigger: ":arrow_leftright:"
replace: "⟷"
# short right arrow
- trigger: ":to_short:"
replace: "→"
# epimorphism
- trigger: ":epi:"
replace: "↠"
# backwards epimorphism
- trigger: ":epi_left:"
replace: "↞"
# monomorphism
- trigger: ":mono:"
replace: "⮩"
# backwards monomorphism
- trigger: ":mono_left:"
replace: "⮨"
# acts
- trigger: ":acts:"
replace: "↷"
# backwards acts
- trigger: ":acts_left:"
replace: "↶"
# auto
- trigger: ":auto:"
replace: "⟲"
# isomorphism
- trigger: ":simto:"
replace: "⭇"
# backwards isomorphism
- trigger: ":simot:"
replace: "⭁"
# open embedding
- trigger: ":emb_open:"
replace: "⇴"
# closed embedding
- trigger: ":emb_closed:"
replace: "↛"
# mapsto
- trigger: ":mapsto:"
replace: "⟼"
# short mapsto
- trigger: ":mapsto_short:"
replace: "↦"
# rrarrow
- trigger: ":rrarrow:"
replace: "⇉"
# rrrarrow
- trigger: ":rrrarrow:"
Show more