Update abbreviations.json (#56)

leanprover-community · Feb 23, 2024 · c67803e · c67803e
1 parent 6fbc181
commit c67803e
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/data/abbreviations.json b/data/abbreviations.json
@@ -307,6 +307,8 @@
   "austral": "₳",
   "afghani": "؋",
   "amalg": "∐",
+  "average": "⨍",
+  "-int": "⨍",
   "or=": "≚",
   "ordfeminine": "ª",
   "ordmasculine": "º",
@@ -334,10 +336,13 @@
   "ominus": "⊖",
   "odot": "⊙",
   "oint": "∮",
+  "oiint": "∯",
   "oslash": "⊘",
   "otimes": "⊗",
+  "pd": "∂",
   "*=": "≛",
   "t=": "≜",
+  "tint": "∯",
   "transport": "▹",
   "trans": "▹",
   "triangledown": "▿",
@@ -1069,6 +1074,7 @@
   "rbag": "⟆",
   "rat": "ℚ",
   "radioactive": "☢",
+  "rrbracket": "〛",
   "rangle": "⟩",
   "rq": "’",
   "rial": "﷼",