I was using https://tikzcd.yichuanshen.de/ https://tikzcd.yichuanshen.de/ last night, which is basically a less feature-filled version of this. It’s quite nice

I was using https://tikzcd.yichuanshen.de/ https://tikzcd.yichuanshen.de/ last night, which is basically a less feature-filled version of this. It’s quite nice for doing simple diagrams, though.