jacob/.XCompose
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Initial commit.

Browse Source
This commit is contained in:
Jacob Signorovitch
2025-09-28 22:49:22 -04:00
commit 9dab489a34
1 changed files with 134 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

134
.XCompose Normal file
View File

@@ -0,0 +1,134 @@
# Negation.
<Multi_key> <exclam> : "¬" # ! → ¬
# Conjunction / Disjunction.
<Multi_key> <ampersand> <ampersand> : "∧" # && → ∧
<Multi_key> <bar> <bar> : "∨" # || → ∨
# Implication / Biconditional.
<Multi_key> <minus> <greater> : "→" # -> → →
<Multi_key> <equal> <greater> : "⇒" # => → ⇒
<Multi_key> <less> <minus> <minus> : "←" # <-- → ←
<Multi_key> <less> <equal> <equal> : "⇐" # <== → ⇐
<Multi_key> <less> <minus> <greater> : "↔" # <-> → ↔
<Multi_key> <less> <equal> <greater> : "⇔" # <=> → ⇔
# Quantifiers.
<Multi_key> <a> <a> : "∀" # A → ∀
<Multi_key> <t> <e> : "∃" # E → ∃
<Multi_key> <exclam> <t> <e> : "∄" # !E → ∄
# Turnstiles.
<Multi_key> <bar> <minus> : "⊢" # |- → ⊢
<Multi_key> <minus> <bar> : "⊣" # -| → ⊣ (inverse)
<Multi_key> <bar> <equal> : "⊨" # |= → ⊨
<Multi_key> <equal> <bar> : "⊩" # =| → ⊩ (inverse/forcing)
# Negated turnstiles.
<Multi_key> <exclam> <bar> <minus> : "⊬" # !|- → ⊬
<Multi_key> <exclam> <minus> <bar> : "⊮" # !-| → ⊮
<Multi_key> <exclam> <bar> <equal> : "⊭" # !|= → ⊭
<Multi_key> <exclam> <equal> <bar> : "⊯" # !=| → ⊯
# Truth values.
<Multi_key> <t> <t> : "⊤" # T → ⊤
<Multi_key> <f> <f> : "⊥" # F → ⊥
# Equality / Relations.
<Multi_key> <equal> <equal> : "≡" # == → ≡
<Multi_key> <exclam> <equal> : "≠" # != → ≠
<Multi_key> <equal> <c> <c> : "⊆" # <<= → ⊆
<Multi_key> <c> <c> : "⊂" # << → ⊂
<Multi_key> <i> <n> : "∈" # in → ∈
<Multi_key> <exclam> <i> <n> : "∉" # !in → ∉
# Dominance relations.
<Multi_key> <greater> <bar> : "≻" # >| → ≻ (dominates / strictly greater)
<Multi_key> <greater> <equal> <bar> : "≽" # >|= → ≽ (weakly dominates)
<Multi_key> <less> <bar> : "≺" # <| → ≺ (is dominated by / strictly less)
<Multi_key> <less> <equal> <bar> : "≼" # <|= → ≼ (is weakly dominated by)
# Misc. symbols.
<Multi_key> <underscore> <asterisk> : "⁎" # Low asterisk
<Multi_key> <underscore> <n> : "ₙ" # Low n
<Multi_key> <underscore> <i> : "ᵢ"
<Multi_key> <underscore> <j> : "ⱼ"
<Multi_key> <underscore> <k> : "ₖ"
<Multi_key> <underscore> <minus> : "₋" # Low minus
<Multi_key> <underscore> <equal> : "₌"
<Multi_key> <equal> <less> : "≤"
<Multi_key> <greater> <equal> : "≥"
<Multi_key> <s> <D> : "𝒟" # Script D
<Multi_key> <s> <E> : "ℰ" # Script E
<Multi_key> <s> <F> : "ℱ" # Script F
# Primes.
<Multi_key> <apostrophe> <asciicircum> : "′"
<Multi_key> <apostrophe> <apostrophe> <asciicircum> : "″"
<Multi_key> <apostrophe> <apostrophe> <apostrophe> <asciicircum> : "‴"
<Multi_key> <apostrophe> <apostrophe> <apostrophe> <apostrophe> <asciicircum> : "⁗"
# Reversed primes.
<Multi_key> <grave> <asciicircum> : "‵"
<Multi_key> <grave> <grave> <asciicircum> : "‶"
<Multi_key> <grave> <grave> <grave> <asciicircum> : "‷"
# Angle brackets.
<Multi_key> <less> <less> : "⟨"
<Multi_key> <greater> <greater> : "⟩"
# Greek capital letters.
<Multi_key> <G> <A> : "Α" U0391 # GREEK CAPITAL LETTER ALPHA
<Multi_key> <G> <B> : "Β" U0392 # GREEK CAPITAL LETTER BETA
<Multi_key> <G> <G> : "Γ" U0393 # GREEK CAPITAL LETTER GAMMA
<Multi_key> <G> <D> : "Δ" U0394 # GREEK CAPITAL LETTER DELTA
<Multi_key> <G> <E> : "Ε" U0395 # GREEK CAPITAL LETTER EPSILON
<Multi_key> <G> <Z> : "Ζ" U0396 # GREEK CAPITAL LETTER ZETA
<Multi_key> <G> <H> : "Η" U0397 # GREEK CAPITAL LETTER ETA
<Multi_key> <G> <I> : "Ι" U0399 # GREEK CAPITAL LETTER IOTA
<Multi_key> <G> <K> : "Κ" U039A # GREEK CAPITAL LETTER KAPPA
<Multi_key> <G> <L> : "Λ" U039B # GREEK CAPITAL LETTER LAMDA
<Multi_key> <G> <M> : "Μ" U039C # GREEK CAPITAL LETTER MU
<Multi_key> <G> <N> : "Ν" U039D # GREEK CAPITAL LETTER NU
<Multi_key> <G> <P> : "Π" U03A0 # GREEK CAPITAL LETTER PI
<Multi_key> <G> <R> : "Ρ" U03A1 # GREEK CAPITAL LETTER RHO
<Multi_key> <G> <S> : "Σ" U03A3 # GREEK CAPITAL LETTER SIGMA
<Multi_key> <G> <T> : "Τ" U03A4 # GREEK CAPITAL LETTER TAU
<Multi_key> <G> <U> : "Υ" U03A5 # GREEK CAPITAL LETTER UPSILON
<Multi_key> <G> <F> : "Φ" U03A6 # GREEK CAPITAL LETTER PHI
<Multi_key> <G> <X> : "Χ" U03A7 # GREEK CAPITAL LETTER CHI
<Multi_key> <G> <O> : "Ω" U03A9 # GREEK CAPITAL LETTER OMEGA
<Multi_key> <G> <Q> <T> : "Θ" U0398 # GREEK CAPITAL LETTER THETA
<Multi_key> <G> <Q> <O> : "Ο" U039F # GREEK CAPITAL LETTER OMICRON
<Multi_key> <G> <Q> <X> : "Ξ" U039E # GREEK CAPITAL LETTER XI
<Multi_key> <G> <Q> <P> : "Ψ" U03A8 # GREEK CAPITAL LETTER PSI
# Greek small letters.
<Multi_key> <g> <a> : "α" U03B1 # GREEK SMALL LETTER ALPHA
<Multi_key> <g> <b> : "β" U03B2 # GREEK SMALL LETTER BETA
<Multi_key> <g> <g> : "γ" U03B3 # GREEK SMALL LETTER GAMMA
<Multi_key> <g> <d> : "δ" U03B4 # GREEK SMALL LETTER DELTA
<Multi_key> <g> <e> : "ε" U03B5 # GREEK SMALL LETTER EPSILON
<Multi_key> <g> <z> : "ζ" U03B6 # GREEK SMALL LETTER ZETA
<Multi_key> <g> <h> : "η" U03B7 # GREEK SMALL LETTER ETA
<Multi_key> <g> <i> : "ι" U03B9 # GREEK SMALL LETTER IOTA
<Multi_key> <g> <k> : "κ" U03BA # GREEK SMALL LETTER KAPPA
<Multi_key> <g> <l> : "λ" U03BB # GREEK SMALL LETTER LAMDA
<Multi_key> <g> <m> : "μ" U03BC # GREEK SMALL LETTER MU
<Multi_key> <g> <n> : "ν" U03BD # GREEK SMALL LETTER NU
<Multi_key> <g> <p> : "π" U03C0 # GREEK SMALL LETTER PI
<Multi_key> <g> <r> : "ρ" U03C1 # GREEK SMALL LETTER RHO
<Multi_key> <g> <s> : "σ" U03C3 # GREEK SMALL LETTER SIGMA
<Multi_key> <g> <t> : "τ" U03C4 # GREEK SMALL LETTER TAU
<Multi_key> <g> <u> : "υ" U03C5 # GREEK SMALL LETTER UPSILON
<Multi_key> <g> <f> : "φ" U03C6 # GREEK SMALL LETTER PHI
<Multi_key> <g> <x> : "χ" U03C7 # GREEK SMALL LETTER CHI
<Multi_key> <g> <o> : "ω" U03C9 # GREEK SMALL LETTER OMEGA
<Multi_key> <g> <q> <t> : "θ" U03B8 # GREEK SMALL LETTER THETA
<Multi_key> <g> <q> <o> : "ο" U03BF # GREEK SMALL LETTER OMICRON
<Multi_key> <g> <q> <x> : "ξ" U03BE # GREEK SMALL LETTER XI
<Multi_key> <g> <q> <p> : "ψ" U03C8 # GREEK SMALL LETTER PSI
<Multi_key> <g> <q> <s> : "ς" U03C2 # GREEK SMALL LETTER FINAL SIGMA