Corners in squares for pushout/pullback

[David Jaz Myers]

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,

[Yichuan Shen]

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

[David Jaz Myers]

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