vEnhance / napkin

An Infinitely Large Napkin
https://web.evanchen.cc/napkin.html
Other
1.21k stars 121 forks source link

Use the normal arrow ends for surjective arrows? #215

Closed user202729 closed 10 months ago

user202729 commented 10 months ago

For some reasons, the current surjective arrows in commutative diagrams feel kind of weird.

image

For comparison, the \surjto macro uses the normal arrow.

image

What do you think?

(to get the normal arrow, I think we can do something like

\tikzset{
    surjective/.style={
        >={Computer Modern Rightarrow}, commutative diagrams/two heads
    }
}

then use surjective instead of two heads in the actual diagrams.)

Or maybe it's also possible to shorten the lengths like (look at the C ↠ D arrow):

image

(produced by

\tikzset{
    surjective arrow /.tip = {tikzcd to[sep=-1.5pt]tikzcd to},
    surjective/.style={
        -surjective arrow
    }
}

)

vEnhance commented 10 months ago

iirc i had an issue with the "default" tikz-cd arrows where the usual arrows were hard to see in some PDF viewers, so i switched to the filled arrow tips with black triangles.

the latter approach seems reasonable though