Corners in squares for pushout/pullback

yishn / tikzcd-editor

A simple visual editor for creating commutative diagrams.

https://tikzcd.yichuanshen.de/

MIT License

1.86k stars 101 forks source link

Corners in squares for pushout/pullback #11

Open DavidJaz opened 6 years ago

DavidJaz commented 6 years ago

Fantastic editor! I am using it more and more. The main thing I find missing is the little corner cubes in squares saying that they are a pushout or a pullback. In tikzcd, these are accomplished with "phantom arrows", with only the endpoint showing (and set to \ulcorner, or \drcorner respectively).

Cheers,

yishn commented 6 years ago

Thank you! Do you have any idea how to incorporate this into the UI?

DavidJaz commented 6 years ago

Perhaps an extra button near the dashed/dotted/solid controls that allows for phantom?