From f1a0918b3f73d847b5dffe1617ed931feff5c25e Mon Sep 17 00:00:00 2001
From: Jonathan Chan <jonathanhwchan@gmail.com>
Date: Wed, 19 Aug 2026 20:44:53 -0400
Subject: [PATCH] Missing superscripts and subscripts

---
 lean4-unicode-input/src/abbreviations.json | 5 +++++
 1 file changed, 5 insertions(+)

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": "ᵢ",