Disable some ligatures.

weidaolee · Jun 24, 2024 · d537da5 · d537da5
1 parent 63de9c3
commit d537da5
Showing 1 changed file with 21 additions and 20 deletions.
diff --git a/modules/ui/ligatures/config.el b/modules/ui/ligatures/config.el
@@ -10,34 +10,35 @@
     ;; Functional
     :lambda        "λ"
     :def           "ƒ"
-    :composition   "∘"
-    :map           "↦"
+    ;; :composition   "∘"
+    ;; :map           "↦"
     ;; Types
     :null          "∅"
-    :true          "𝕋"
-    :false         "𝔽"
-    :int           "ℤ"
-    :float         "ℝ"
-    :str           "𝕊"
-    :bool          "𝔹"
-    :list          "𝕃"
+    ;; :true          "𝕋"
+    ;; :false         "𝔽"
+    ;; :int           "𝚭"
+    ;; :uint          "𝚴"
+    ;; :float         "ℝ"
+    ;; :str           "𝕊"
+    ;; :bool          "𝔹"
+    ;; :list          "𝕃"
     ;; Flow
-    :not           "￢"
+    ;; :not           "￢"
     :in            "∈"
     :not-in        "∉"
-    :and           "∧"
-    :or            "∨"
+    ;; :and           "∧"
+    ;; :or            "∨"
     :for           "∀"
     :some          "∃"
-    :return        "⟼"
-    :yield         "⟻"
+    ;; :return        "⟼"
+    ;; :yield         "⟻"
     ;; Other
-    :union         "⋃"
-    :intersect     "∩"
-    :diff          "∖"
-    :tuple         "⨂"
-    :pipe          "" ;; FIXME: find a non-private char
-    :dot           "•")
+    ;; :union         "⋃"
+    ;; :intersect     "∩"
+    ;; :diff          "∖"
+    ;; :tuple         "⨂"
+    ;; :pipe          "" ;; FIXME: find a non-private char
+    :dot           "•" )  ;; ●
   "Maps identifiers to symbols, recognized by `set-ligatures'.
 
 This should not contain any symbols from the Unicode Private Area! There is no