From da724ea55183b2be039368ace05f36245dcf1c8f Mon Sep 17 00:00:00 2001 From: rhi Date: Sun, 31 Mar 2024 08:52:57 -0400 Subject: [PATCH] Add compose sequences --- compose-sequences.md | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 compose-sequences.md diff --git a/compose-sequences.md b/compose-sequences.md new file mode 100644 index 0000000..0cfd286 --- /dev/null +++ b/compose-sequences.md @@ -0,0 +1,37 @@ +i use [XCompose][] to input quox code with the nice unicode characters. here's the relevant parts of my compose map, so you can use them without having to write them all out for yourself. + +[XCompose]: https://wiki.debian.org/XCompose + +- "⎄" is the button you mapped the compose key to. +- 𝑖, 𝑗, 𝑘, 𝑙 don't actually mean anything special, i just like to use them for dimension variables. +- the bindings for →, ⇒, and × _probably_ already exist in the default map. +- 🐉 isn't used in the language itself but it's the main branch name :3 + + +| input | result | input | result | +| -------- | -------- | -------- | -------- | +| ⎄ = > | ⇒ | ⎄ - > | → | +| ⎄ x x | × | ⎄ = = | ≡ | +| ⎄ : : | ∷ | ⎄ * * | ★ | +| ⎄ l a | λ | ⎄ d e | δ | +| ⎄ o m | ω | ⎄ N N | ℕ | +| ⎄ i i | 𝑖 | ⎄ j j | 𝑗 | +| ⎄ k k | 𝑘 | ⎄ l l | 𝑙 | +| ⎄ d r | 🐉 + +``` +include "%L" + + : "≡" + : "∷" + : "★" + : "λ" + : "δ" + : "ω" + : "ℕ" + : "𝑖" + : "𝑗" + : "𝑘" + : "𝑙" + : "🐉" +``` \ No newline at end of file