tikzcd-editor icon indicating copy to clipboard operation
tikzcd-editor copied to clipboard
verified publisher icon yishn

Corners in squares for pushout/pullback

Open DavidJaz opened this issue 8 years ago • 2 comments

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,

DavidJaz avatar Oct 04 '17 23:10 DavidJaz

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

yishn avatar Oct 05 '17 09:10 yishn

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

DavidJaz avatar Oct 05 '17 22:10 DavidJaz