Skip to content

Conversation

@breitnw
Copy link
Contributor

@breitnw breitnw commented Aug 6, 2025

This PR adds:

  • Math characters commonly used in the language Agda (specifically, those seen in the Iowa Agda Library). This PR introduces all of the missing capital double-struck characters, left and right flattened parentheses, and multiset operations. I also modified the existing double-struck characters because they did not have a gap between strikes, making it hard to discern them from regular bold characters.
  • Media control emojis for shuffle, repeat, and repeat-once. This is useful for terminal-based music players, such as rmpc.
  • A number of glyphs in the nf-md-* range. All of these glyphs were previously present in Cozette's nf-mdi-* range, which is now deprecated by nerd-fonts. Tools such as Emacs' nerd-fonts package do not support nf-mdi-* icons, so I felt it was important to move them to the non-deprecated range.

Added

  • ⊌ (U+228C MULTISET)
  • ⊍ (U+228D MULTISET MULTIPLICATION)
  • ⊎ (U+228E MULTISET UNION)
  • ⟮ (U+27EE MATHEMATICAL LEFT FLATTENED PARENTHESIS)
  • ⟯ (U+27EF MATHEMATICAL RIGHT FLATTENED PARENTHESIS)
  • 𝔸 (U+1D538 MATHEMATICAL DOUBLE-STRUCK CAPITAL A)
  • 𝔹 (U+1D539 MATHEMATICAL DOUBLE-STRUCK CAPITAL B)
  • 𝔻 (U+1D53B MATHEMATICAL DOUBLE-STRUCK CAPITAL D)
  • 𝔼 (U+1D53C MATHEMATICAL DOUBLE-STRUCK CAPITAL E)
  • 𝕀 (U+1D540 MATHEMATICAL DOUBLE-STRUCK CAPITAL I)
  • 𝕁 (U+1D541 MATHEMATICAL DOUBLE-STRUCK CAPITAL J)
  • 𝕂 (U+1D542 MATHEMATICAL DOUBLE-STRUCK CAPITAL K)
  • 𝕃 (U+1D543 MATHEMATICAL DOUBLE-STRUCK CAPITAL L)
  • 𝕄 (U+1D544 MATHEMATICAL DOUBLE-STRUCK CAPITAL M)
  • 𝕆 (U+1D546 MATHEMATICAL DOUBLE-STRUCK CAPITAL O)
  • 𝕋 (U+1D54B MATHEMATICAL DOUBLE-STRUCK CAPITAL T)
  • 𝕌 (U+1D54C MATHEMATICAL DOUBLE-STRUCK CAPITAL U)
  • 𝕍 (U+1D54D MATHEMATICAL DOUBLE-STRUCK CAPITAL V)
  • 𝕐 (U+1D550 MATHEMATICAL DOUBLE-STRUCK CAPITAL Y)
  • 🔀 (U+1F500 TWISTED RIGHTWARDS ARROWS)
  • 🔁 (U+1F501 CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS)
  • 🔂 (U+1F502 CLOCKWISE RIGHTWARDS AND LEFTWARDS OPEN CIRCLE ARROWS WITH CIRCLED ONE OVERLAY)
  • 󰂯 (U+F00AF)
  • 󰂰 (U+F00B0)
  • 󰂱 (U+F00B1)
  • 󰂲 (U+F00B2)
  • 󰂽 (U+F00BD)
  • 󰂾 (U+F00BE)
  • 󰃬 (U+F00EC)
  • 󰄲 (U+F0132)
  • 󰄳 (U+F0133)
  • 󰅙 (U+F0159)
  • 󰅚 (U+F015A)
  • 󰅩 (U+F0169)
  • 󰅪 (U+F016A)
  • 󰅴 (U+F0174)
  • 󰆍 (U+F018D)
  • 󰆧 (U+F01A7)
  • 󰆺 (U+F01BA)
  • 󰆻 (U+F01BB)
  • 󰆼 (U+F01BC)
  • 󰈀 (U+F0200)
  • 󰈔 (U+F0214)
  • 󰈙 (U+F0219)
  • 󰈛 (U+F021B)
  • 󰈝 (U+F021D)
  • 󰈟 (U+F021F)
  • 󰈣 (U+F0223)
  • 󰈫 (U+F022B)
  • 󰈬 (U+F022C)
  • 󰉋 (U+F024B)
  • 󰊄 (U+F0284)
  • 󰊕 (U+F0295)
  • 󰊸 (U+F02B8)
  • 󰋋 (U+F02CB)
  • 󰋌 (U+F02CC)
  • 󰋍 (U+F02CD)
  • 󰋎 (U+F02CE)
  • 󰋐 (U+F02D0)
  • 󰋚 (U+F02DA)
  • 󰋼 (U+F02FC)
  • 󰌋 (U+F030B)
  • 󰌗 (U+F0317)
  • 󰌳 (U+F0333)
  • 󰌴 (U+F0334)
  • 󰌵 (U+F0335)
  • 󰌶 (U+F0336)
  • 󰌷 (U+F0337)
  • 󰌸 (U+F0338)
  • 󰌽 (U+F033D)
  • 󰎇 (U+F0387)
  • 󰎠 (U+F03A0)
  • 󰏗 (U+F03D7)
  • 󰏘 (U+F03D8)
  • 󰏿 (U+F03FF)
  • 󰪷 (U+F0AB7)

Changed

  • ℂ (U+2102 DOUBLE-STRUCK CAPITAL C)
  • ℍ (U+210D DOUBLE-STRUCK CAPITAL H)
  • ℕ (U+2115 DOUBLE-STRUCK CAPITAL N)
  • ℙ (U+2119 DOUBLE-STRUCK CAPITAL P)
  • ℚ (U+211A DOUBLE-STRUCK CAPITAL Q)
  • ℝ (U+211D DOUBLE-STRUCK CAPITAL R)
  • ℤ (U+2124 DOUBLE-STRUCK CAPITAL Z)

Image of new glyphs

glyphs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant