Zulip Chat Archive

Stream: general

Topic: commutative diagrams in Zulip

Ashwin Iyengar (Oct 18 2021 at 22:09):

Hello, does Zulip support drawing commutative diagrams?

Alex J. Best (Oct 18 2021 at 22:15):

Yes, you can check out the source of https://leanprover.zulipchat.com/#narrow/stream/267928-condensed-mathematics/topic/LES.20for.20Ext/near/257368936 to see how its done I guess

Ashwin Iyengar (Oct 18 2021 at 22:31):

Thanks!

Ashwin Iyengar (Oct 18 2021 at 22:41):

Ah, shame there are no diagonal arrows yet.

Reid Barton (Oct 19 2021 at 09:47):

One workaround is to use https://q.uiver.app/ and then post a screenshot and/or link to your diagram

Last updated: Dec 20 2023 at 11:08 UTC