Skip to content

Conversation

Enivex
Copy link
Collaborator

@Enivex Enivex commented Jul 6, 2025

Take two.

  • Add the most closely related additional variants. There are a bunch more, but those can wait to avoid more bikeshedding.
  • This should unblock Precedes and succeeds under relation (Proposal 10) #36
  • We should aim to have a way for users to consistently use the slanted variants by default in the future, as these aren't very ergonomic.

@Enivex Enivex added the breaking This involves a breaking change label Jul 6, 2025
@MDLC01
Copy link
Collaborator

MDLC01 commented Jul 6, 2025

Shouldn't we wait before we have a final solution to the .slant vs. .alt vs. .seq problem before adding all those?

@Enivex
Copy link
Collaborator Author

Enivex commented Jul 12, 2025

Shouldn't we wait before we have a final solution to the .slant vs. .alt vs. .seq problem before adding all those?

I answered this on Discord, but I think it's valuable to have it here. It seemed that getting consensus about the seq solution was pretty much impossible.

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 parallel.slanted.* and div.slanted.*. Those are slightly different, in that it's the symbol itself that is slanted, and not the modifier. Not sure that's a big deal though.

@MDLC01
Copy link
Collaborator

MDLC01 commented Jul 12, 2025

For reference, this PR supersedes #89.

.slant vs. .slanted is indeed an inconsistency, but I agree we should merge this for now. The inconsistency already exists anyway, and this will allow us to move forward with #36 as you mentioned.

@knuesel
Copy link
Collaborator

knuesel commented Jul 13, 2025

There are a bunch more, but those can wait to avoid more bikeshedding.

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.

@Enivex
Copy link
Collaborator Author

Enivex commented Jul 13, 2025

You can check @MDLC01 's proposal document. But I purposely do not want to get into naming those here.

@MDLC01
Copy link
Collaborator

MDLC01 commented Jul 13, 2025

The document in question.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
breaking This involves a breaking change
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants