diff --git a/lean4-unicode-input/src/abbreviations.json b/lean4-unicode-input/src/abbreviations.json
index cce6fb21..902bb1e5 100644
--- a/lean4-unicode-input/src/abbreviations.json
+++ b/lean4-unicode-input/src/abbreviations.json
@@ -1252,8 +1252,10 @@
     "^z": "ᶻ",
     "^A": "ᴬ",
     "^B": "ᴮ",
+    "^C": "ꟲ",
     "^D": "ᴰ",
     "^E": "ᴱ",
+    "^F": "ꟳ",
     "^G": "ᴳ",
     "^H": "ᴴ",
     "^I": "ᴵ",
@@ -1264,7 +1266,9 @@
     "^N": "ᴺ",
     "^O": "ᴼ",
     "^P": "ᴾ",
+    "^Q": "ꟴ",
     "^R": "ᴿ",
+    "^S": "꟱",
     "^T": "ᵀ",
     "^U": "ᵁ",
     "^V": "ⱽ",
@@ -1360,6 +1364,7 @@
     "^TEL": "℡",
     "^TM": "™",
     "_a": "ₐ",
+    "_c": "𞁞",
     "_e": "ₑ",
     "_h": "ₕ",
     "_i": "ᵢ",