commit 9dab489a34c37f458bd375ffbd90c5ac345d009f Author: Jacob Signorovitch Date: Sun Sep 28 22:49:22 2025 -0400 Initial commit. diff --git a/.XCompose b/.XCompose new file mode 100644 index 0000000..89ac2cb --- /dev/null +++ b/.XCompose @@ -0,0 +1,134 @@ +# Negation. + : "¬" # ! → ¬ + +# Conjunction / Disjunction. + : "∧" # && → ∧ + : "∨" # || → ∨ + +# Implication / Biconditional. + : "→" # -> → → + : "⇒" # => → ⇒ + : "←" # <-- → ← + : "⇐" # <== → ⇐ + : "↔" # <-> → ↔ + : "⇔" # <=> → ⇔ + +# Quantifiers. + : "∀" # A → ∀ + : "∃" # E → ∃ + : "∄" # !E → ∄ + +# Turnstiles. + : "⊢" # |- → ⊢ + : "⊣" # -| → ⊣ (inverse) + + : "⊨" # |= → ⊨ + : "⊩" # =| → ⊩ (inverse/forcing) + +# Negated turnstiles. + : "⊬" # !|- → ⊬ + : "⊮" # !-| → ⊮ + + : "⊭" # !|= → ⊭ + : "⊯" # !=| → ⊯ + +# Truth values. + : "⊤" # T → ⊤ + : "⊥" # F → ⊥ + +# Equality / Relations. + : "≡" # == → ≡ + : "≠" # != → ≠ + : "⊆" # <<= → ⊆ + : "⊂" # << → ⊂ + : "∈" # in → ∈ + : "∉" # !in → ∉ + +# Dominance relations. + : "≻" # >| → ≻ (dominates / strictly greater) + : "≽" # >|= → ≽ (weakly dominates) + + : "≺" # <| → ≺ (is dominated by / strictly less) + : "≼" # <|= → ≼ (is weakly dominated by) + +# Misc. symbols. + : "⁎" # Low asterisk + : "ₙ" # Low n + : "ᵢ" + : "ⱼ" + : "ₖ" + : "₋" # Low minus + : "₌" + : "≤" + : "≥" + : "𝒟" # Script D + : "ℰ" # Script E + : "ℱ" # Script F + +# Primes. + : "′" + : "″" + : "‴" + : "⁗" + +# Reversed primes. + : "‵" + : "‶" + : "‷" + +# Angle brackets. + : "⟨" + : "⟩" + +# Greek capital letters. + : "Α" U0391 # GREEK CAPITAL LETTER ALPHA + : "Β" U0392 # GREEK CAPITAL LETTER BETA + : "Γ" U0393 # GREEK CAPITAL LETTER GAMMA + : "Δ" U0394 # GREEK CAPITAL LETTER DELTA + : "Ε" U0395 # GREEK CAPITAL LETTER EPSILON + : "Ζ" U0396 # GREEK CAPITAL LETTER ZETA + : "Η" U0397 # GREEK CAPITAL LETTER ETA + : "Ι" U0399 # GREEK CAPITAL LETTER IOTA + : "Κ" U039A # GREEK CAPITAL LETTER KAPPA + : "Λ" U039B # GREEK CAPITAL LETTER LAMDA + : "Μ" U039C # GREEK CAPITAL LETTER MU + : "Ν" U039D # GREEK CAPITAL LETTER NU +

: "Π" U03A0 # GREEK CAPITAL LETTER PI + : "Ρ" U03A1 # GREEK CAPITAL LETTER RHO + : "Σ" U03A3 # GREEK CAPITAL LETTER SIGMA + : "Τ" U03A4 # GREEK CAPITAL LETTER TAU + : "Υ" U03A5 # GREEK CAPITAL LETTER UPSILON + : "Φ" U03A6 # GREEK CAPITAL LETTER PHI + : "Χ" U03A7 # GREEK CAPITAL LETTER CHI + : "Ω" U03A9 # GREEK CAPITAL LETTER OMEGA + : "Θ" U0398 # GREEK CAPITAL LETTER THETA + : "Ο" U039F # GREEK CAPITAL LETTER OMICRON + : "Ξ" U039E # GREEK CAPITAL LETTER XI +

: "π" U03C0 # GREEK SMALL LETTER PI + : "ρ" U03C1 # GREEK SMALL LETTER RHO + : "σ" U03C3 # GREEK SMALL LETTER SIGMA + : "τ" U03C4 # GREEK SMALL LETTER TAU + : "υ" U03C5 # GREEK SMALL LETTER UPSILON + : "φ" U03C6 # GREEK SMALL LETTER PHI + : "χ" U03C7 # GREEK SMALL LETTER CHI + : "ω" U03C9 # GREEK SMALL LETTER OMEGA + : "θ" U03B8 # GREEK SMALL LETTER THETA + : "ο" U03BF # GREEK SMALL LETTER OMICRON + : "ξ" U03BE # GREEK SMALL LETTER XI +

: "ψ" U03C8 # GREEK SMALL LETTER PSI + : "ς" U03C2 # GREEK SMALL LETTER FINAL SIGMA

: "Ψ" U03A8 # GREEK CAPITAL LETTER PSI + +# Greek small letters. + : "α" U03B1 # GREEK SMALL LETTER ALPHA + : "β" U03B2 # GREEK SMALL LETTER BETA + : "γ" U03B3 # GREEK SMALL LETTER GAMMA + : "δ" U03B4 # GREEK SMALL LETTER DELTA + : "ε" U03B5 # GREEK SMALL LETTER EPSILON + : "ζ" U03B6 # GREEK SMALL LETTER ZETA + : "η" U03B7 # GREEK SMALL LETTER ETA + : "ι" U03B9 # GREEK SMALL LETTER IOTA + : "κ" U03BA # GREEK SMALL LETTER KAPPA + : "λ" U03BB # GREEK SMALL LETTER LAMDA + : "μ" U03BC # GREEK SMALL LETTER MU + : "ν" U03BD # GREEK SMALL LETTER NU +