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.
- "⎄" 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"
<Multi_key> <equal> <equal> : "≡"
<Multi_key> <colon> <colon> : "∷"
<Multi_key> <asterisk> <asterisk> : "★"
<Multi_key> <l> <a> : "λ"
<Multi_key> <d> <e> : "δ"
<Multi_key> <o> <m> : "ω"
<Multi_key> <N> <N> : "ℕ"
<Multi_key> <i> <i> : "𝑖"
<Multi_key> <j> <j> : "𝑗"
<Multi_key> <k> <k> : "𝑘"
<Multi_key> <l> <l> : "𝑙"
<Multi_key> <d> <r> : "🐉"