editors/emacs/bqn-symbols.el


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145

;;; -*- lexical-binding: t -*-

(defvar bqn--symbols '(;; Top row
                       ;; `
                       ("high-tilde" "˜" "`")
                       ("logical-not" "¬" "~")
                       ;; 1
                       ("breve" "˘" "1")
                       ("circle-notch" "⎉" "!")
                       ;; 2
                       ("diaeresis" "¨" "2")
                       ("circled-diaeresis" "⚇" "@")
                       ;; 3
                       ("high-equals" "⁼" "3")
                       ("circle-star" "⍟" "#")
                       ;; 4
                       ("corner" "⌜" "4")
                       ("circle-corner" "◶" "$")
                       ;; 5
                       ("acute" "´" "5")
                       ("circle-slash" "⊘" "%")
                       ;; 6
                       ("double-acute" "˝" "6")
                       ("circle-triangle" "⎊" "^")
                       ;; 7
                       ("hydrant" "⍎" "&")
                       ;; 8
                       ("infinity" "∞" "8")
                       ("thorn" "⍕" "*")
                       ;; 9
                       ("high-minus" "¯" "9")
                       ("open-angle" "⟨" "(")
                       ;; 0
                       ("bullet" "•" "0")
                       ("close-angle" "⟩" ")")
                       ;; -
                       ("division-sign" "÷" "-")
                       ("root" "√" "_")
                       ;; =
                       ("multiplication-sign" "×" "=")
                       ("star" "⋆" "+")

                       ;; First row
                       ;; q
                       ("circle-stile" "⌽" "q")
                       ("down-left-arrow" "↙" "Q")
                       ;; w
                       ("double-w" "𝕨" "w")
                       ("double-upper-w" "𝕎" "W")
                       ;; e
                       ("epsilon" "∊" "e")
                       ("epsilon-underbar" "⍷" "E")
                       ;; r
                       ("up-arrow" "↑" "r")
                       ("double-r" "𝕣" "R")
                       ;; t
                       ("logical-and" "∧" "t")
                       ("up-grade" "⍋" "T")
                       ;; y
                       ;; u
                       ("square-cup" "⊔" "u")
                       ;; i
                       ("open-square" "⊏" "i")
                       ("open-square-underbar" "⊑" "I")
                       ;; o
                       ("close-square" "⊐" "o")
                       ("close-square-underbar" "⊒" "O")
                       ;; p
                       ("pi" "π" "p")
                       ("iota" "⍳" "P")
                       ;; [
                       ("left-arrow" "←" "[")
                       ("left-tack" "⊣" "{")
                       ;; ]
                       ("right-arrow" "→" "]")
                       ("right-tack" "⊢" "}")
                       ;; \
                       ("backslash" "\\" "\\")

                       ;; Second row
                       ;; a
                       ("circle-backslash" "⍉" "a")
                       ("up-left-arrow" "↖" "A")
                       ;; s
                       ("double-s" "𝕤" "s")
                       ("double-upper-s" "𝕊" "S")
                       ;; d
                       ("up-down-arrow" "↕" "d")
                       ;; f
                       ("double-f" "𝕗" "f")
                       ("double-upper-f" "𝔽" "F")
                       ;; g
                       ("double-g" "𝕘" "g")
                       ("double-upper-g" "𝔾" "G")
                       ;; h
                       ("left-loop" "⊸" "h")
                       ("left-chevron" "«" "H")
                       ;; j
                       ("jot" "∘" "j")
                       ;; k
                       ("circle" "○" "k")
                       ("circle-jot" "⌾" "K")
                       ;; l
                       ("right-loop" "⟜" "l")
                       ("right-chevron" "»" "L")
                       ;; ;
                       ("diamond" "⋄" ";")
                       ("middle-dot" "·" ":")
                       ;; '
                       ("left-hook-arrow" "↩" "'")
                       ("high-dot" "˙" "\"")

                       ;; Third row
                       ;; z
                       ("zigzag" "⥊" "z")
                       ;; x
                       ("double-x" "𝕩" "x")
                       ("double-upper-x" "𝕏" "X")
                       ;; c
                       ("down-arrow" "↓" "c")
                       ;; v
                       ("logical-or" "∨" "v")
                       ("down-grade" "⍒" "V")
                       ;; b
                       ("left-floor" "⌊" "b")
                       ("left-ceiling" "⌈" "B")
                       ;; n
                       ;; m
                       ("identical-to" "≡" "m")
                       ("not-identical-to" "≢" "M")
                       ;; ,
                       ("join" "∾" ",")
                       ("less-than-or-equal-to" "≤" "<")
                       ;; .
                       ("couple" "≍" ".")
                       ("greater-than-or-equal-to" "≥" ">")
                       ;; /
                       ("not-equal-to" "≠" "/")
                       ("left-double-arrow" "⇐" "?")

                       ;; Space bar
                       ("ligature" "‿" "SPC")
                       ))

(provide 'bqn-symbols)