You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This PR adds struck arrows, as well as twohead tailed arrows.
For singly struck arrows, I chose the .struck modifier, which is consistent with its use in parallel.struck in contrast to parallel.not. Unicode also defines doubly struck arrows. For those, an additional modifier needs to be created, and i am unsure of the name to use. Maybe .doublestruck, or .dstruck? I marked the PR as a draft for this reason.
arrow.double is already something else. This is a case where our commutative modifiers are a limitation, since the "double" would be a modifier that applies to another modifier.
Edit: Unless you were suggesting making struck its own symbol, but even then that couldn't distinguish between ⤃ and ⇻.
Yesn't.
They are in typst, that's how circle.filled.big is the same as circle.big.filled.
For codex by itself, modifiers don't exist. We only have variants until/unless #46 is merged.
Ah right, I confusedly imagined this would be OK after the change to math argument parsing in Typst 0.13 but obviously not!
In favor of dstruck: we could consistently use a d prefix for double modifiers, like we use n for negation in .neq, .neqiv, .ntilde.
Or we could aim for consistency with arrow.r.twohead and use arrow.r.twostroke (as in the Unicode name Rightwards Arrow with Double Vertical Stroke). Then it would make sense to rename arrow.r.struck to arrow.r.stroke...
I went with .dstruck. As mentioned above, it creates a consistency with .neq. If anything, .twohead is the outlier here, although I don't think it would be necessary to change it.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
This PR adds struck arrows, as well as twohead tailed arrows.
For singly struck arrows, I chose the
.struckmodifier, which is consistent with its use inparallel.struckin contrast toparallel.not. Unicode also defines doubly struck arrows. For those, an additional modifier needs to be created, and i am unsure of the name to use. Maybe.doublestruck, or.dstruck? I marked the PR as a draft for this reason.