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
Rightarrow interacts badly with other styles #1
Comments
As to freely combining double arrows with other tips, this is not something tikz does automatically, and I am not sure it is a good idea to add some complicated logic to tikz-cd to do this. So it seems better to just add a few extra dedicated styles for double arrows in common usage. Are the combinations you showed above standard notation in some field? Unicode doesn't have any of these. The only relevant variations of PS: The last example can be obtained with |
Ah, I see. Yes, it's probably not worth going to the extra effort to support these if it's significantly more awkward to do so in tikz.
I don't think I've come across them in practice (though I'm not very familiar with higher categorical notation, which is where I'd expect these to come up if anywhere). I noticed these because I'm writing a tool to edit commutative diagrams, which exports to tikz-cd, and saw that some of the results with (Some combinations already work well, such as
Ah, that's helpful, thank you! Anyway, feel free to close this issue. I agree that these are rather niche variations and simply having some record of this edge case is sufficient without any concrete use-cases. Thanks! |
Produces:
I expect something like the following:
Similarly for
hook
:As opposed to:
And
tail
:As opposed to:
The text was updated successfully, but these errors were encountered: