From ed5257e16ecb855ef506148ec235386ecbcd2abd Mon Sep 17 00:00:00 2001
From: Mac Malone <mac@lean-fro.org>
Date: Tue, 28 Jul 2026 16:18:57 +0000
Subject: [PATCH] feat: add type colon abbreviations

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

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