From b354bf34e617d114a3ac334fa1727fbf5f7fe1b0 Mon Sep 17 00:00:00 2001
From: Thomas Voss <mail@thomasvoss.com>
Date: Fri, 6 Sep 2024 23:19:26 +0200
Subject: xcompose: Support the propositional logic operators

---
 .config/X11/xcompose | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

(limited to '.config/X11/xcompose')

diff --git a/.config/X11/xcompose b/.config/X11/xcompose
index a93490c..b677002 100644
--- a/.config/X11/xcompose
+++ b/.config/X11/xcompose
@@ -20,6 +20,7 @@
 #   C ⋆ *    The Greek letter ‘⋆’
 #   C _ ⋆    Subscript ‘⋆’
 #   C ^ ⋆    Superscript ‘⋆’
+#   C l ⋆    Propositional logic operators
 #
 #   Ligatures or other glyphs that are compose of multiple characters are
 #   straight forwards.  For example ‘C I J’ produces ‘IJ’.
@@ -32,10 +33,16 @@
 #   NOTE: System config at /usr/share/X11/locale/en_US.UTF-8/Compose
 #
 
+# Propositional Logic
+<Multi_key> <l> <a> : "∧" U2227 # [L]ogical [A]nd
+<Multi_key> <l> <e> : "⇔" U21D4 # [L]ogical [E]quivalence
+<Multi_key> <l> <i> : "⇒" U212D # [L]ogical [I]mplication
+<Multi_key> <l> <n> : "¬" U00AC # [L]ogical [N]ot
+<Multi_key> <l> <o> : "∨" U2228 # [L]ogical [O]r
+<Multi_key> <l> <x> : "⊕" U2295 # [L]ogical [X]or
+
 # Math
-<Multi_key> <ampersand> <ampersand>   : "∧" U2227
 <Multi_key> <asterisk> <asterisk>     : "⋆" U22C6
-<Multi_key> <bar> <bar>               : "∨" U2228
 <Multi_key> <exclam> <equal>          : "≠" U2260
 <Multi_key> <greater> <equal>         : "≥" U2265
 <Multi_key> <less> <equal>            : "≤" U2264
-- 
cgit v1.2.3