Merge pull request #288 from YaelDillies/covers

Shortcuts for `⋖` and `⋗`

Author: gebner

src/abbreviation/abbreviations.json

@@ -441,6 +441,7 @@
     "r_s": "→ₛ",
     "simplefunc": "→ₛ",
 
+    "covers": "⋖",
     "def=": "≝",
     "defs": "≙",
     "degree": "°",
@@ -659,6 +660,8 @@
     "<~nn": "≴",
     "<~n": "⋦",
     "<~": "≲",
+    "<:": "⋖",
+    ":>": "⋗",
     "<->n": "↮",
     "<->": "↔",
     "<-->": "⟷",