Add compose sequences
parent
70e0175575
commit
da724ea551
1 changed files with 37 additions and 0 deletions
37
compose-sequences.md
Normal file
37
compose-sequences.md
Normal file
|
@ -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"
|
||||||
|
|
||||||
|
<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> : "🐉"
|
||||||
|
```
|
Loading…
Reference in a new issue