Add Identity arrows?
ScyllaHide opened this issue · comments
ScyllaHide commented
Thank you for this wonderful tikzcd editor, saves a lot of working typing CAT lecture notes.
Is it possible to include identity arrows in the editor?
https://i.imgur.com/gA8YUr4.png
Regards,
SH
ScyllaHide commented
ok i see this fixes it: #35