feature request: change size of pullback indicator

[nathanielvirgo]

I sometimes find that the little right-angle thing indicating a pullback is a bit small and hard to notice, so it would be neat if there was a way to change its size.

[varkor]

Could you share an example of the size of pullback indicator you have in mind? (If you have the corresponding TikZ too, that would be even better.)

[nathanielvirgo]

Sorry for the slow reply - I didn't have a great example to hand, so I was waiting for one to come up. Maybe this works to illustrate it at least:

quiver link

To my eyes this looks a bit small and I would rather it look like this (no tikz code because it's just a rough mockup)

Of course I could just put all the nodes closer to each other like this

but sometimes you want them that far apart, either to fit other arrows in or because you've got long complicated labels on the arrows and it starts to get cluttered