diff --git a/lean4-unicode-input/src/abbreviations.json b/lean4-unicode-input/src/abbreviations.json
index dcf7a5c3..abe87c9b 100644
--- a/lean4-unicode-input/src/abbreviations.json
+++ b/lean4-unicode-input/src/abbreviations.json
@@ -14,6 +14,7 @@
     "(())": "⸨$CURSOR⸩",
     "f<>": "‹$CURSOR›",
     "f<<>>": "«$CURSOR»",
+    "h<>": "❰$CURSOR❱",
     "[--]": "⁅$CURSOR⁆",
     "||||": "‖$CURSOR‖",
     "nnnorm": "‖$CURSOR‖₊",
@@ -1163,6 +1164,8 @@
     "f>>": "»",
     "f<": "‹",
     "f>": "›",
+    "h<": "❰",
+    "h>": "❱",
     "finprod": "∏ᶠ",
     "finsum": "∑ᶠ",
     "frac12": "½",