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.

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

Spoon symbols #35

Open
T0mstone opened this issue Jan 21, 2025 · 0 comments
Open

Spoon symbols #35

T0mstone opened this issue Jan 21, 2025 · 0 comments
Labels
proposal This may still need discussion

Comments

@T0mstone
Copy link
Collaborator

T0mstone commented Jan 21, 2025

Context

Unicode defines multiple spoon-like symbols. ⊸ is already multimap

Proposal

Add the symbols from the following table under sym.

Character Name(s)
⫯ VERTICAL LINE WITH CIRCLE ABOVE spoon, spoon.t
⫰ VERTICAL LINE WITH CIRCLE BELOW spoon.b
⟟ UP TACK WITH CIRCLE ABOVE spoon.t.bar
⫱ DOWN TACK WITH CIRCLE BELOW spoon.b.bar
⟜ LEFT MULTIMAP spoon.l
⊸ MULTIMAP spoon.r

Note that all those characters have the math class Relation, except for ⫱, which has the math class Normal.

Additionally, ⟜ could be added as multimap.rev as well.

@MDLC01 MDLC01 changed the title Spoon symbols (Proposals 16 and 17) Spoon symbols Jan 21, 2025
@T0mstone T0mstone added the proposal This may still need discussion label Jan 22, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
proposal This may still need discussion
Projects
None yet
Development

No branches or pull requests

1 participant