diff options
| author | Thomas Voss <mail@thomasvoss.com> | 2024-09-06 23:19:26 +0200 |
|---|---|---|
| committer | Thomas Voss <mail@thomasvoss.com> | 2024-09-06 23:19:26 +0200 |
| commit | b354bf34e617d114a3ac334fa1727fbf5f7fe1b0 (patch) | |
| tree | 07a8070816e259fa623a9184871b1a3e4930686e | |
| parent | 4168caea4dae650058cd2b505d7f5d20bf284904 (diff) | |
xcompose: Support the propositional logic operators
| -rw-r--r-- | .config/X11/xcompose | 11 |
1 files changed, 9 insertions, 2 deletions
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 |