From c97487fd6535758e15db1105b68e715beb8bbdb5 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Mon, 6 Dec 2021 18:05:16 -0500
Subject: [PATCH] feat: add blackboard bold characters

---
 lean4-mode/lean4-input.el | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/lean4-mode/lean4-input.el b/lean4-mode/lean4-input.el
index d1121bc1df..49d3118fd6 100644
--- a/lean4-mode/lean4-input.el
+++ b/lean4-mode/lean4-input.el
@@ -525,6 +525,33 @@ order for the change to take effect."
   ("bb"   . ("𝔹"))
   ("bsum" . ("⅀"))
 
+  ("bbA"  . ("𝔸"))
+  ("bbB"  . ("𝔹"))
+  ("bbC"  . ("ℂ"))
+  ("bbD"  . ("𝔻"))
+  ("bbE"  . ("𝔼"))
+  ("bbF"  . ("𝔽"))
+  ("bbG"  . ("𝔾"))
+  ("bbH"  . ("ℍ"))
+  ("bbI"  . ("𝕀"))
+  ("bbJ"  . ("𝕁"))
+  ("bbK"  . ("𝕂"))
+  ("bbL"  . ("𝕃"))
+  ("bbM"  . ("𝕄"))
+  ("bbN"  . ("ℕ"))
+  ("bbO"  . ("𝕆"))
+  ("bbP"  . ("ℙ"))
+  ("bbQ"  . ("ℚ"))
+  ("bbR"  . ("ℝ"))
+  ("bbS"  . ("𝕊"))
+  ("bbT"  . ("𝕋"))
+  ("bbU"  . ("𝕌"))
+  ("bbV"  . ("𝕍"))
+  ("bbW"  . ("𝕎"))
+  ("bbX"  . ("𝕏"))
+  ("bbY"  . ("𝕐"))
+  ("bbZ"  . ("ℤ"))
+
   ;; Blackboard bold numbers.
 
   ("b0"   . ("𝟘"))