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" "‿" ? )
                       ))

(provide 'bqn-symbols)