diff --git a/lean4-unicode-input/src/abbreviations.json b/lean4-unicode-input/src/abbreviations.json
index abe87c9b..cce6fb21 100644
--- a/lean4-unicode-input/src/abbreviations.json
+++ b/lean4-unicode-input/src/abbreviations.json
@@ -297,6 +297,7 @@
     "heta": "ͱ",
     "heartsuit": "♥",
     "hbar": "ℏ",
+    ":t": "⦂",
     ":~": "∻",
     ":=": "≔",
     "::-": "∺",
@@ -411,6 +412,7 @@
     "thickapprox": "≈",
     "thicksim": "∼",
     "telephone": "℡",
+    "typecolon": "⦂",
     "tenge": "₸",
     "textmusicalnote": "♪",
     "textmu": "µ",