Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Support for APL, Agda et al. #47

Closed
takanuva opened this issue Jan 17, 2020 · 7 comments
Closed

Support for APL, Agda et al. #47

takanuva opened this issue Jan 17, 2020 · 7 comments
Labels
unicode request Request for adding more symbols

Comments

@takanuva
Copy link

Are there any plans to support symbols for programming in APL? Other languages, such as Agda, use a few unicode mathematical symbols for programming, and could benefit as well.

I have previously discussed this issue here, and it has been continued here for other fonts.

Disclaimer: I have written some APL code in the past, but it's been a long time since I've last done that. More recently I've written some Agda code, though.
@ice1000
Copy link

ice1000 commented Jan 20, 2020 •
edited

EDIT: updated the list.

Here's the top few unicode characters used in Agda's standard library:

Click to see, the list is long 
→ (U+2192): 18506
₂ (U+2082): 8525
₁ (U+2081): 8329
≤ (U+2264): 7606
≡ (U+2261): 6826
≈ (U+2248): 6653
∀ (U+2200): 5829
∷ (U+2237): 5218
ℓ (U+2113): 4565
′ (U+2032): 3876
ℕ (U+2115): 3855
⟩ (U+27e9): 3622
⟨ (U+27e8): 3622
ʳ (U+2b3): 2944
⁺ (U+207a): 2666
⇒ (U+21d2): 2548
∣ (U+2223): 2403
ˡ (U+2e1): 2355
∼ (U+223c): 2319
∘ (U+2218): 2268
λ (U+3bb): 2191
ρ (U+3c1): 1907
∈ (U+2208): 1857
⊔ (U+2294): 1756
∧ (U+2227): 1588
× (U+d7): 1521
¬ (U+ac): 1511
∙ (U+2219): 1447
∨ (U+2228): 1438
⊆ (U+2286): 1401
⟧ (U+27e7): 1392
⟦ (U+27e6): 1392
⁻ (U+207b): 1245
ℤ (U+2124): 1124
≟ (U+225f): 1055
≢ (U+2262): 1014
⊎ (U+228e): 886
∸ (U+2238): 882
⊥ (U+22a5): 861
∎ (U+220e): 830
↔ (U+2194): 778
₃ (U+2083): 747
⊓ (U+2293): 708
⊤ (U+22a4): 706
↭ (U+21ad): 647
ₚ (U+209a): 573
⟶ (U+27f6): 570
τ (U+3c4): 554
ℚ (U+211a): 553
ᴹ (U+1d39): 539
≋ (U+224b): 528
↧ (U+21a7): 522
ᵘ (U+1d58): 462
≅ (U+2245): 452
ₗ (U+2097): 449
∃ (U+2203): 428
↥ (U+21a5): 428
ₙ (U+2099): 425
¹ (U+b9): 417
ᵣ (U+1d63): 407
≥ (U+2265): 389
₋ (U+208b): 381
⇔ (U+21d4): 364
ε (U+3b5): 364
⊕ (U+2295): 361
↑ (U+2191): 342
ᵇ (U+1d47): 340
∩ (U+2229): 335
≗ (U+2257): 309
≃ (U+2243): 303
ₕ (U+2095): 302
″ (U+2033): 287
∪ (U+222a): 272
≮ (U+226e): 265
⊖ (U+2296): 263
⊛ (U+229b): 262
Ρ (U+3a1): 252
± (U+b1): 243
ᵢ (U+1d62): 240
β (U+3b2): 234
≉ (U+2249): 227
◃ (U+25c3): 223
˘ (U+2d8): 220
⅀ (U+2140): 219
⋆ (U+22c6): 216
‿ (U+203f): 214
⇓ (U+21d3): 213
◅ (U+25c5): 206
≳ (U+2273): 202
δ (U+3b4): 199
σ (U+3c3): 194
Σ (U+3a3): 189
♭ (U+266d): 188
✶ (U+2736): 182
• (U+2022): 181
◦ (U+25e6): 177
◇ (U+25c7): 177
⇨ (U+21e8): 176
∞ (U+221e): 175
≰ (U+2270): 167
⌋ (U+230b): 160
⌊ (U+230a): 160
⊢ (U+22a2): 157
↠ (U+21a0): 156
₄ (U+2084): 155
⊙ (U+2299): 154
ₛ (U+209b): 154
∅ (U+2205): 149
∉ (U+2209): 148
⊐ (U+2290): 146
⊠ (U+22a0): 143
Δ (U+394): 139
π (U+3c0): 135
ⁿ (U+207f): 132
⊞ (U+229e): 127
↓ (U+2193): 127
⊂ (U+2282): 126
≺ (U+227a): 125
♯ (U+266f): 124
↣ (U+21a3): 123
≯ (U+226f): 122
Γ (U+393): 107
□ (U+25a1): 105
⟫ (U+27eb): 104
⟪ (U+27ea): 104
∹ (U+2239): 102
⋎ (U+22ce): 97
ₜ (U+209c): 93
∁ (U+2201): 91
↞ (U+219e): 91
  (U+a0): 89
≲ (U+2272): 86
‴ (U+2034): 86
⊑ (U+2291): 82
² (U+b2): 79
Κ (U+39a): 73
⋯ (U+22ef): 72
₀ (U+2080): 70
─ (U+2500): 68
⊸ (U+22b8): 67
γ (U+3b3): 67
≔ (U+2254): 64
← (U+2190): 63
Π (U+3a0): 63
ᴸ (U+1d38): 58
⊗ (U+2297): 56
∋ (U+220b): 56
³ (U+b3): 55
≼ (U+227c): 51
∑ (U+2211): 51
▻ (U+25bb): 50
⌉ (U+2309): 50
⌈ (U+2308): 50
≱ (U+2271): 47
ᵤ (U+1d64): 47
⇉ (U+21c9): 46
— (U+2014): 44
⨀ (U+2a00): 43
ₑ (U+2091): 43
⊡ (U+22a1): 42
≫ (U+226b): 42
∶ (U+2236): 41
₅ (U+2085): 41
≠ (U+2260): 39
̇ (U+307): 38
↦ (U+21a6): 37
⁆ (U+2046): 37
⁅ (U+2045): 37
⟆ (U+27c6): 36
⟅ (U+27c5): 36
≪ (U+226a): 35
ₓ (U+2093): 35
· (U+b7): 34
▷ (U+25b7): 33
ᵐ (U+1d50): 33
│ (U+2502): 30
ᵒ (U+1d52): 30
ʸ (U+2b8): 30
é (U+e9): 29
⇑ (U+21d1): 27
ᴬ (U+1d2c): 26
⤖ (U+2916): 25
↪ (U+21aa): 25
↩ (U+21a9): 25
⊟ (U+229f): 24
ⱼ (U+2c7c): 23
⨆ (U+2a06): 23
₆ (U+2086): 22
ᵈ (U+1d48): 22
ʰ (U+2b0): 22
║ (U+2551): 20
ᴮ (U+1d2e): 20
⍓ (U+2353): 19
⊈ (U+2288): 19
ι (U+3b9): 19
⋐ (U+22d0): 18
⊇ (U+2287): 18
ₐ (U+2090): 18
⦈ (U+2988): 17
⦇ (U+2987): 17
◂ (U+25c2): 17
ƛ (U+19b): 17
ϕ (U+3d5): 16
κ (U+3ba): 16
⋃ (U+22c3): 15
↢ (U+21a2): 15
⋂ (U+22c2): 14
↾ (U+21be): 14
↝ (U+219d): 14
Ι (U+399): 14
𝕊 (U+1d54a): 13
⊜ (U+229c): 13
; (U+37e): 13
⇐ (U+21d0): 12
ₖ (U+2096): 12
₇ (U+2087): 12
₊ (U+208a): 11
⊝ (U+229d): 10
∄ (U+2204): 10
η (U+3b7): 10
½ (U+bd): 10
⊉ (U+2289): 9
⊄ (U+2284): 9
∤ (U+2224): 9
φ (U+3c6): 9
ˢ (U+2e2): 9
⊴ (U+22b4): 8
⊃ (U+2283): 8
… (U+2026): 8
ᵉ (U+1d49): 8
ᵀ (U+1d40): 8
ᴿ (U+1d3f): 8
÷ (U+f7): 7
◈ (U+25c8): 6
═ (U+2550): 6
⊒ (U+2292): 6
⊅ (U+2285): 6
μ (U+3bc): 6
⨅ (U+2a05): 5
└ (U+2514): 5
≻ (U+227b): 5
≬ (U+226c): 5
₉ (U+2089): 5
₈ (U+2088): 5
｝ (U+ff5d): 4
｛ (U+ff5b): 4
╲ (U+2572): 4
╱ (U+2571): 4
┘ (U+2518): 4
↗ (U+2197): 4
‼ (U+203c): 4
ᵥ (U+1d65): 4
ν (U+3bd): 4
α (U+3b1): 4
̄ (U+304): 4
𝔽 (U+1d53d): 3
⋢ (U+22e2): 3
⋊ (U+22ca): 3
⋉ (U+22c9): 3
⊘ (U+2298): 3
≇ (U+2247): 3
⇛ (U+21db): 3
ₘ (U+2098): 3
ᶜ (U+1d9c): 3
ψ (U+3c8): 3

@philippnurullin philippnurullin added the enhancement New feature or request label Feb 10, 2020
@philippnurullin
Copy link
Member

@takanuva I think we will get there, in time. )

@philippnurullin philippnurullin mentioned this issue Mar 11, 2020
Closed
@philippnurullin philippnurullin added unicode request Request for adding more symbols and removed enhancement New feature or request labels Mar 16, 2020
@philippnurullin philippnurullin added this to Planned in JetBrains Mono Dec 4, 2020
@philippnurullin philippnurullin removed this from Planned in JetBrains Mono Dec 4, 2020
philippnurullin added a commit that referenced this issue Apr 21, 2021
@philippnurullin
2.230
f668e09 
- Made triple equal ligature === more spacious #25
- Added 70 symbols from #47
- Tuned # #275
- Added =: ligature #305
- Added floor and ceiling mathematical characters #328
- Corrections in Θ θ ξ Σ ∑ #351
- Added Cyrillic Kazakh letters #391
- Added ligature ;;; #393
- The ligature <- have 3 digit exclusion #403
- Fixed regression with <-- ligature #417
- Fixed interpolation error in Italic #431
- Corrected placement of * in */ ligature in Regular master
- Tuned Ч ч
- Rounded corners in ⚠
@kamekku14 kamekku14 mentioned this issue Jul 29, 2021
Open
@razetime
Copy link

razetime commented Aug 4, 2021

Are contributions toward extending the APL set allowed?

@philippnurullin
Copy link
Member

Yes, definitely.
Please send me the list of symbols you want to work on first. Maybe we have them in works.

@razetime
Copy link

razetime commented Aug 6, 2021 •
edited

The majority of symbols for APL family languages is in the Miscellaneous Technical block.

These are the required symbols: (if they are not visible, see them here)

Click to expand 
¯ 	| 00af 	| MACRON
× 	| 00d7 	| MULTIPLICATION SIGN
÷ 	| 00f7 	| DIVISION SIGN
∘ 	| 2218 	| RING OPERATOR
∣ 	| 2223 	| DIVIDES
≠ 	| 2260 	| NOT EQUAL TO
≤ 	| 2264 	| LESS-THAN OR EQUAL TO
≥ 	| 2265 	| GREATER-THAN OR EQUAL TO
≬ 	| 226c 	| BETWEEN
⌶ 	| 2336 	| APL FUNCTIONAL SYMBOL I-BEAM
⋆ 	| 22c6 	| STAR OPERATOR
⌾ 	| 233e 	| APL FUNCTIONAL SYMBOL CIRCLE JOT
⍟ 	| 235f 	| APL FUNCTIONAL SYMBOL CIRCLE STAR
⌽ 	| 233d 	| APL FUNCTIONAL SYMBOL CIRCLE STILE
⍉ 	| 2349 	| APL FUNCTIONAL SYMBOL CIRCLE BACKSLASH
⍝ 	| 235d 	| APL FUNCTIONAL SYMBOL UP SHOE JOT
⍦ 	| 2366 	| APL FUNCTIONAL SYMBOL DOWN SHOE STILE
⍧ 	| 2367 	| APL FUNCTIONAL SYMBOL LEFT SHOE STILE
⍪ 	| 236a 	| APL FUNCTIONAL SYMBOL COMMA BAR
⍫ 	| 236b 	| APL FUNCTIONAL SYMBOL DEL TILDE
⍬ 	| 236c 	| APL FUNCTIONAL SYMBOL ZILDE
⍭ 	| 236d 	| APL FUNCTIONAL SYMBOL STILE TILDE
← 	| 2190 	| LEFTWARDS ARROW
↑ 	| 2191 	| UPWARDS ARROW
→ 	| 2192 	| RIGHTWARDS ARROW
↓ 	| 2193 	| DOWNWARDS ARROW
∆ 	| 2206 	| INCREMENT
∇ 	| 2207 	| NABLA
∧ 	| 2227 	| LOGICAL AND
∨ 	| 2228 	| LOGICAL OR
∩ 	| 2229 	| INTERSECTION
∪ 	| 222a 	| UNION
⌈ 	| 2308 	| LEFT CEILING
⌊ 	| 230a 	| LEFT FLOOR
⊤ 	| 22a4 	| DOWN TACK
⊥ 	| 22a5 	| UP TACK
⊂ 	| 2282 	| SUBSET OF
⊃ 	| 2283 	| SUPERSET OF
⌿ 	| 233f 	| APL FUNCTIONAL SYMBOL SLASH BAR
⍀ 	| 2340 	| APL FUNCTIONAL SYMBOL BACKSLASH BAR
⍅ 	| 2345 	| APL FUNCTIONAL SYMBOL LEFTWARDS VANE
⍆ 	| 2346 	| APL FUNCTIONAL SYMBOL RIGHTWARDS VANE
⍏ 	| 234f 	| APL FUNCTIONAL SYMBOL UPWARDS VANE
⍖ 	| 2356 	| APL FUNCTIONAL SYMBOL DOWNWARDS VANE
⍊ 	| 234a 	| APL FUNCTIONAL SYMBOL DOWN TACK UNDERBAR
⍑ 	| 2351 	| APL FUNCTIONAL SYMBOL UP TACK OVERBAR
⍋ 	| 234b 	| APL FUNCTIONAL SYMBOL DELTA STILE
⍒ 	| 2352 	| APL FUNCTIONAL SYMBOL DEL STILE
⍎ 	| 234e 	| APL FUNCTIONAL SYMBOL DOWN TACK JOT
⍕ 	| 2355 	| APL FUNCTIONAL SYMBOL UP TACK JOT
⍱ 	| 2371 	| APL FUNCTIONAL SYMBOL DOWN CARET TILDE
⍲ 	| 2372 	| APL FUNCTIONAL SYMBOL UP CARET TILDE
○ 	| 25cb 	| WHITE CIRCLE
⍳ 	| 2373 	| APL FUNCTIONAL SYMBOL IOTA
⍴ 	| 2374 	| APL FUNCTIONAL SYMBOL RHO
⍵ 	| 2375 	| APL FUNCTIONAL SYMBOL OMEGA
⍺ 	| 237a 	| APL FUNCTIONAL SYMBOL ALPHA
⍶ 	| 2376 	| APL FUNCTIONAL SYMBOL ALPHA UNDERBAR
⍷ 	| 2377 	| APL FUNCTIONAL SYMBOL EPSILON UNDERBAR
⍸ 	| 2378 	| APL FUNCTIONAL SYMBOL IOTA UNDERBAR
⍹ 	| 2379 	| APL FUNCTIONAL SYMBOL OMEGA UNDERBAR
⍘ 	| 2358 	| APL FUNCTIONAL SYMBOL QUOTE UNDERBAR
⍙ 	| 2359 	| APL FUNCTIONAL SYMBOL DELTA UNDERBAR
⍚ 	| 235a 	| APL FUNCTIONAL SYMBOL DIAMOND UNDERBAR
⍛ 	| 235b 	| APL FUNCTIONAL SYMBOL JOT UNDERBAR
⍜ 	| 235c 	| APL FUNCTIONAL SYMBOL CIRCLE UNDERBAR
⍮ 	| 236e 	| APL FUNCTIONAL SYMBOL SEMICOLON UNDERBAR
¨ 	| 00a8 	| DIAERESIS
⍡ 	| 2361 	| APL FUNCTIONAL SYMBOL UP TACK DIAERESIS
⍢ 	| 2362 	| APL FUNCTIONAL SYMBOL DEL DIAERESIS
⍣ 	| 2363 	| APL FUNCTIONAL SYMBOL STAR DIAERESIS
⍤ 	| 2364 	| APL FUNCTIONAL SYMBOL JOT DIAERESIS
⍥ 	| 2365 	| APL FUNCTIONAL SYMBOL CIRCLE DIAERESIS
⍨ 	| 2368 	| APL FUNCTIONAL SYMBOL TILDE DIAERESIS
⍩ 	| 2369 	| APL FUNCTIONAL SYMBOL GREATER-THAN DIAERESIS
⎕ 	| 2395 	| APL FUNCTIONAL SYMBOL QUAD
⍞ 	| 235e 	| APL FUNCTIONAL SYMBOL QUOTE QUAD
⍠ 	| 2360 	| APL FUNCTIONAL SYMBOL QUAD COLON
⍯ 	| 236f 	| APL FUNCTIONAL SYMBOL QUAD NOT EQUAL
⍰ 	| 2370 	| APL FUNCTIONAL SYMBOL QUAD QUESTION
⍌ 	| 234c 	| APL FUNCTIONAL SYMBOL QUAD DOWN CARET
⍍ 	| 234d 	| APL FUNCTIONAL SYMBOL QUAD DELTA
⍐ 	| 2350 	| APL FUNCTIONAL SYMBOL QUAD UPWARDS ARROW
⍓ 	| 2353 	| APL FUNCTIONAL SYMBOL QUAD UP CARET
⍔ 	| 2354 	| APL FUNCTIONAL SYMBOL QUAD DEL
⍗ 	| 2357 	| APL FUNCTIONAL SYMBOL QUAD DOWNWARDS ARROW
⌷ 	| 2337 	| APL FUNCTIONAL SYMBOL SQUISH QUAD
⌸ 	| 2338 	| APL FUNCTIONAL SYMBOL QUAD EQUAL
⌹ 	| 2339 	| APL FUNCTIONAL SYMBOL QUAD DIVIDE
⌺ 	| 233a 	| APL FUNCTIONAL SYMBOL QUAD DIAMOND
⌻ 	| 233b 	| APL FUNCTIONAL SYMBOL QUAD JOT
⌼ 	| 233c 	| APL FUNCTIONAL SYMBOL QUAD CIRCLE
⍁ 	| 2341 	| APL FUNCTIONAL SYMBOL QUAD SLASH
⍂ 	| 2342 	| APL FUNCTIONAL SYMBOL QUAD BACKSLASH
⍃ 	| 2343 	| APL FUNCTIONAL SYMBOL QUAD LESS-THAN
⍄ 	| 2344 	| APL FUNCTIONAL SYMBOL QUAD GREATER-THAN
⍇ 	| 2347 	| APL FUNCTIONAL SYMBOL QUAD LEFTWARDS ARROW
⍈ 	| 2348 	| APL FUNCTIONAL SYMBOL QUAD RIGHTWARDS ARROW
˜ 	| 02dc 	| SMALL TILDE
˘ 	| 02d8 	| BREVE
¨ 	| 00a8 	| DIAERESIS
⁼ 	| 207c 	| SUPERSCRIPT EQUALS SIGN
⌜ 	| 231c 	| TOP LEFT CORNER
´ 	| 00b4 	| ACUTE ACCENT
˝ 	| 02dd 	| DOUBLE ACUTE ACCENT
∞ 	| 221e 	| INFINITY
¯ 	| 00af 	| MACRON
• 	| 2022 	| BULLET
÷ 	| 00f7 	| DIVISION SIGN
× 	| 00d7 	| MULTIPLICATION SIGN
¬ 	| 00ac 	| NOT SIGN
⎉ 	| 2389 	| CIRCLED HORIZONTAL BAR WITH NOTCH
⚇ 	| 2687 	| WHITE CIRCLE WITH TWO DOTS
⍟ 	| 235f 	| APL FUNCTIONAL SYMBOL CIRCLE STAR
◶ 	| 25f6 	| WHITE CIRCLE WITH LOWER RIGHT QUADRANT
⊘ 	| 2298 	| CIRCLED DIVISION SLASH
⎊ 	| 238a 	| CIRCLED TRIANGLE DOWN
⍎ 	| 234e 	| APL FUNCTIONAL SYMBOL DOWN TACK JOT
⍕ 	| 2355 	| APL FUNCTIONAL SYMBOL UP TACK JOT
⟨ 	| 27e8 	| MATHEMATICAL LEFT ANGLE BRACKET
⟩ 	| 27e9 	| MATHEMATICAL RIGHT ANGLE BRACKET
√ 	| 221a 	| SQUARE ROOT
⋆ 	| 22c6 	| STAR OPERATOR
⌽ 	| 233d 	| APL FUNCTIONAL SYMBOL CIRCLE STILE
𝕨 	| 1d568 	| MATHEMATICAL DOUBLE-STRUCK SMALL W
∊ 	| 220a 	| SMALL ELEMENT OF
↑ 	| 2191 	| UPWARDS ARROW
∧ 	| 2227 	| LOGICAL AND
⊔ 	| 2294 	| SQUARE CUP
⊏ 	| 228f 	| SQUARE IMAGE OF
⊐ 	| 2290 	| SQUARE ORIGINAL OF
π 	| 03c0 	| GREEK SMALL LETTER PI
← 	| 2190 	| LEFTWARDS ARROW
→ 	| 2192 	| RIGHTWARDS ARROW
↙ 	| 2199 	| SOUTH WEST ARROW
𝕎 	| 1d54e 	| MATHEMATICAL DOUBLE-STRUCK CAPITAL W
⍷ 	| 2377 	| APL FUNCTIONAL SYMBOL EPSILON UNDERBAR
𝕣 	| 1d563 	| MATHEMATICAL DOUBLE-STRUCK SMALL R
⍋ 	| 234b 	| APL FUNCTIONAL SYMBOL DELTA STILE
⊑ 	| 2291 	| SQUARE IMAGE OF OR EQUAL TO
⊒ 	| 2292 	| SQUARE ORIGINAL OF OR EQUAL TO
⍳ 	| 2373 	| APL FUNCTIONAL SYMBOL IOTA
⊣ 	| 22a3 	| LEFT TACK
⊢ 	| 22a2 	| RIGHT TACK
⍉ 	| 2349 	| APL FUNCTIONAL SYMBOL CIRCLE BACKSLASH
𝕤 	| 1d564 	| MATHEMATICAL DOUBLE-STRUCK SMALL S
↕ 	| 2195 	| UP DOWN ARROW
𝕗 	| 1d557 	| MATHEMATICAL DOUBLE-STRUCK SMALL F
𝕘 	| 1d558 	| MATHEMATICAL DOUBLE-STRUCK SMALL G
⊸ 	| 22b8 	| MULTIMAP
∘ 	| 2218 	| RING OPERATOR
○ 	| 25cb 	| WHITE CIRCLE
⟜ 	| 27dc 	| LEFT MULTIMAP
⋄ 	| 22c4 	| DIAMOND OPERATOR
↩ 	| 21a9 	| LEFTWARDS ARROW WITH HOOK
↖ 	| 2196 	| NORTH WEST ARROW
𝕊 	| 1d54a 	| MATHEMATICAL DOUBLE-STRUCK CAPITAL S
𝔽 	| 1d53d 	| MATHEMATICAL DOUBLE-STRUCK CAPITAL F
𝔾 	| 1d53e 	| MATHEMATICAL DOUBLE-STRUCK CAPITAL G
« 	| 00ab 	| LEFT-POINTING DOUBLE ANGLE QUOTATION MARK
⌾ 	| 233e 	| APL FUNCTIONAL SYMBOL CIRCLE JOT
» 	| 00bb 	| RIGHT-POINTING DOUBLE ANGLE QUOTATION MARK
· 	| 00b7 	| MIDDLE DOT
˙ 	| 02d9 	| DOT ABOVE
⥊ 	| 294a 	| LEFT BARB UP RIGHT BARB DOWN HARPOON
𝕩 	| 1d569 	| MATHEMATICAL DOUBLE-STRUCK SMALL X
↓ 	| 2193 	| DOWNWARDS ARROW
∨ 	| 2228 	| LOGICAL OR
⌊ 	| 230a 	| LEFT FLOOR
≡ 	| 2261 	| IDENTICAL TO
∾ 	| 223e 	| INVERTED LAZY S
≍ 	| 224d 	| EQUIVALENT TO
≠ 	| 2260 	| NOT EQUAL TO
‿ 	| 203f 	| UNDERTIE
𝕏 	| 1d54f 	| MATHEMATICAL DOUBLE-STRUCK CAPITAL X
⍒ 	| 2352 	| APL FUNCTIONAL SYMBOL DEL STILE
⌈ 	| 2308 	| LEFT CEILING
≢ 	| 2262 	| NOT IDENTICAL TO
≤ 	| 2264 	| LESS-THAN OR EQUAL TO
≥ 	| 2265 	| GREATER-THAN OR EQUAL TO
⇐ 	| 21d0 	| LEFTWARDS DOUBLE ARROW
⍬ 	| 236c 	| APL FUNCTIONAL SYMBOL ZILDE
⍺ 	| 237a 	| APL FUNCTIONAL SYMBOL ALPHA
⍵ 	| 2375 	| APL FUNCTIONAL SYMBOL OMEGA
⍴ 	| 2374 	| APL FUNCTIONAL SYMBOL RHO
⍳ 	| 2373 	| APL FUNCTIONAL SYMBOL IOTA
⍸ 	| 2378 	| APL FUNCTIONAL SYMBOL IOTA UNDERBAR
⌷ 	| 2337 	| APL FUNCTIONAL SYMBOL SQUISH QUAD
⍨ 	| 2368 	| APL FUNCTIONAL SYMBOL TILDE DIAERESIS
⍤ 	| 2364 	| APL FUNCTIONAL SYMBOL JOT DIAERESIS
⍥ 	| 2365 	| APL FUNCTIONAL SYMBOL CIRCLE DIAERESIS
⍣ 	| 2363 	| APL FUNCTIONAL SYMBOL STAR DIAERESIS
⊖ 	| 2296 	| CIRCLED MINUS
⊂ 	| 2282 	| SUBSET OF
⊃ 	| 2283 	| SUPERSET OF
⊆ 	| 2286 	| SUBSET OF OR EQUAL TO
⊇ 	| 2287 	| SUPERSET OF OR EQUAL TO
∩ 	| 2229 	| INTERSECTION
∪ 	| 222a 	| UNION
⊥ 	| 22a5 	| UP TACK
⊤ 	| 22a4 	| DOWN TACK
⍝ 	| 235d 	| APL FUNCTIONAL SYMBOL UP SHOE JOT
⍀ 	| 2340 	| APL FUNCTIONAL SYMBOL BACKSLASH BAR
⌿ 	| 233f 	| APL FUNCTIONAL SYMBOL SLASH BAR
⍪ 	| 236a 	| APL FUNCTIONAL SYMBOL COMMA BAR
⎕ 	| 2395 	| APL FUNCTIONAL SYMBOL QUAD
⌺ 	| 233a 	| APL FUNCTIONAL SYMBOL QUAD DIAMOND
⌹ 	| 2339 	| APL FUNCTIONAL SYMBOL QUAD DIVIDE
⌸ 	| 2338 	| APL FUNCTIONAL SYMBOL QUAD EQUAL
⍞ 	| 235e 	| APL FUNCTIONAL SYMBOL QUOTE QUAD
⍠ 	| 2360 	| APL FUNCTIONAL SYMBOL QUAD COLON
⌶ 	| 2336 	| APL FUNCTIONAL SYMBOL I-BEAM
⍱ 	| 2371 	| APL FUNCTIONAL SYMBOL DOWN CARET TILDE
⍲ 	| 2372 	| APL FUNCTIONAL SYMBOL UP CARET TILDE
⍫ 	| 236b 	| APL FUNCTIONAL SYMBOL DEL TILDE
∇ 	| 2207 	| NABLA
∆ 	| 2206 	| INCREMENT
⍢ 	| 2362 	| APL FUNCTIONAL SYMBOL DEL DIAERESIS
⍙ 	| 2359 	| APL FUNCTIONAL SYMBOL DELTA UNDERBAR
… 	| 2026 	| HORIZONTAL ELLIPSIS

philippnurullin added a commit that referenced this issue Sep 1, 2021
@philippnurullin
2.250
88c9616 
- Added ‼ ｛ ｝ ⟅ ⟆ ≬ ⋈ ∤ ⋉ ≫ ≪ ⨅ ⋂ ⋃ ⊴ ⋢ ∩ ∪ ⋊ ⊓ ⊔ ⊡ ⊟ ⊞ ⊠ ⊏ ⊑ ⊐ ⊒ ≻ ∄ ⊛ ⊝ ⊜ ⊘ ⊗ ⊕ ↝ ↢ ↩ ↪ ↾ ⇐ ⇛ ◎ ◈ ⍓ #47
@philippnurullin
Copy link
Member

philippnurullin commented Sep 1, 2021 •
edited

@razetime Thanks for making a list! We compared to what we already have and came to conclusion that it will be easier to finish what's left in your list inhouse.

Made a push with all the glyphs we made. Any feedback is appreciated.

@razetime
Copy link

razetime commented Sep 1, 2021

Great! I will download and test out the glyphs now.

@philippnurullin philippnurullin mentioned this issue Dec 8, 2021
Closed
philippnurullin added a commit that referenced this issue Sep 16, 2022
@philippnurullin
2.300
784f65a 
- Added Stylistic Sets and Character Alternates
- Full support for APL #47 #516
- Updated Greek alphabet
- ! = ligature fixed #494
See full list of changes in Changelog.md
@takanuva takanuva mentioned this issue Nov 22, 2023
Open
@abrudz abrudz mentioned this issue May 6, 2024
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
unicode request Request for adding more symbols
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@takanuva @razetime @ice1000 @philippnurullin