Update translations from vscode-lean.

gebner · Feb 16, 2022 · aed308b · aed308b
1 parent aab6825
commit aed308b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/abbreviations.json b/abbreviations.json
@@ -441,6 +441,7 @@
     "r_s": "→ₛ",
     "simplefunc": "→ₛ",
 
+    "covers": "⋖",
     "def=": "≝",
     "defs": "≙",
     "degree": "°",
@@ -659,6 +660,8 @@
     "<~nn": "≴",
     "<~n": "⋦",
     "<~": "≲",
+    "<:": "⋖",
+    ":>": "⋗",
     "<->n": "↮",
     "<->": "↔",
     "<-->": "⟷",

diff --git a/lean.mim b/lean.mim
@@ -89,6 +89,7 @@ Example: \\nat \\to \\com
   ("\\::" "∷")
   ("\\::-" "∺")
   ("\\:=" "≔")
+  ("\\:>" "⋗")
   ("\\:~" "∻")
   ("\\<" "⟨")
   ("\\<-" "←")
@@ -97,6 +98,7 @@ Example: \\nat \\to \\com
   ("\\<->" "↔")
   ("\\<->n" "↮")
   ("\\<-n" "↚")
+  ("\\<:" "⋖")
   ("\\<<" "⟪")
   ("\\<=" "≤")
   ("\\<=>" "⇔")
@@ -1008,6 +1010,7 @@ Example: \\nat \\to \\com
   ("\\construction" "🚧")
   ("\\coprod" "⨿")
   ("\\copyright" "©")
+  ("\\covers" "⋖")
   ("\\crossproduct" "⨯")
   ("\\cruzeiro" "₢")
   ("\\cu" "⌜")