Conversation
|
Shouldn't we wait before we have a final solution to the |
I answered this on Discord, but I think it's valuable to have it here. It seemed that getting consensus about the My thinking is that we go for this now, but try to find a more ergonomic way for those who prefer the slanted variants to use those by default in the future. By the way: We should probably also discuss what to do about |
Would you have a list at hand? I think this PR introduces good, consistent naming but it would be nice to have a sense of how it would fit with those other symbols. |
|
You can check @MDLC01 's proposal document. But I purposely do not want to get into naming those here. |
T0mstone
left a comment
There was a problem hiding this comment.
The changelog needs to be updated now too (cf. #121 (review)).

Take two.