Add names for open-headed arrows#54
Conversation
|
How about using |
|
Ah, no, that's already something else, oops. Still, I'd like it for there to be some sort of connection to |
|
Could be |
|
Yeah that's a bit of a mouthful imo. If we want to keep it related to |
|
|
|
Ah I forgot about that, not so great then. |
|
We already have a billion different meanings for stroked. Open is as good a name as any, and is what the official unicode name uses. |
MDLC01
left a comment
There was a problem hiding this comment.
Let's go with .open then
Add names for open-headed arrows