-
-
Notifications
You must be signed in to change notification settings - Fork 12
Add missing arc modifier to angle.right.dot
, rename angle.right.sq
#110
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
base: main
Are you sure you want to change the base?
Conversation
I am fine with the change from I'm not sure why we would want ⦜ to be a variant of |
Because they both have an arc, but one is drawn using straight lines ("squarified"). It's similar to |
You can also see it as one having an arc and the other having a square. An arc is typically a portion of a circle. I don't think formal definitions matter that much (what does is users' perception of what an "arc" is), but, to quote Wikipdia, "an arc [...] is a connected subset of a differentiable curve." A square is not a differentiable curve. |
Like I mentioned, we can also call it |
Then I would be in favor of using |
If we're going to start making modifiers globally consistent, I'm going to demand keeping them in a markdown file in the repo (like I already mentioned once or twice on Discord) |
It's not always possible to make everything 100% consistent, but it's always been a goal to try. I guess we could try to write down some general guidelines at least. |
angle.right.dot
and angle.right.sq
angle.right.dot
, rename angle.right.sq
I've made the change. |
⦝ is specifically ⊾ with a dot, and
.sq
should mean a "squarified" version of a symbol (as opposed to.square
)Alternatively we could rename
angle.right.sq
toangle.right.square
instead, but that would be a breaking change.