Comments (7)
ice1000
commented on May 18, 2024
6
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
from jetbrainsmono.
philippnurullin
commented on May 18, 2024
4
@takanuva I think we will get there, in time. )
from jetbrainsmono.
razetime
commented on May 18, 2024
4
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
from jetbrainsmono.
philippnurullin
commented on May 18, 2024
4
@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.
from jetbrainsmono.
razetime
commented on May 18, 2024
Are contributions toward extending the APL set allowed?
from jetbrainsmono.
philippnurullin
commented on May 18, 2024
Yes, definitely.
Please send me the list of symbols you want to work on first. Maybe we have them in works.
from jetbrainsmono.
razetime
commented on May 18, 2024
Great! I will download and test out the glyphs now.
from jetbrainsmono.
Related Issues (20)
- Please add ligatures for augmented assignment operators in Javascript HOT 1
- Document using OpenType alternatives but disabling ligatures
- Is it possible to support Texture Healing? HOT 3
- Interpolation problems in `JetBrainsMono-Italic[wght].ttf`
- Unable to enable ligatures on VSCode HOT 2
- Can we have the "multimap" or "linear implication" operator ⊸? HOT 1
- Clarity of license FAQ
- Request a new Symbol
- [Feature Request] New opentype feature for parentheses
- Missing mark positioning for theta glyph
- jetbrains mono bold doesn't work with vs code HOT 2
- Difference between O and 0
- happy new year, is there will be a new release for 2024? 😄
- I want to use "alternate character set", but not "Ligatures for Code" in VSCode HOT 1
- Roman Numbers
- Greek nu ν and Latin v have no difference HOT 5
- RTL: Code is Reversed!
- Shape of left and right braces is different in v2.304
- OpenType 'frac' feature affects all numerals, not just fractions
- What is the rationale behind the recommended font settings?
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from jetbrainsmono.