You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Julius (Jul 23 2023 at 16:46):I would like to take notes on the text Categorical Logic and Type Theory on an iPhone (iOS).
I am attempting to use Latex in a Latex editing app, but I think there could be some good, newer way to do this.
Does anyone have a recommended modern software setup for writing math notation?
I will explore using Obsidian, an excellent app. I wonder if there’s a mathematical extension to markdown supported in there.
Thanks
Julius (Jul 23 2023 at 16:47):This looks solid https://medium.com/beyond-productivity/using-mathjax-in-obsidian-c57640af11ec
Mike Shulman (Jul 23 2023 at 16:48):I think you still can't beat LaTeX for good mathematical typesetting.
Owen Lynch (Aug 01 2023 at 00:10):For phone, this doesn't work, but in response to "beating LaTeX for good mathematical typesetting", I suggest TeXmacs
Mike Shulman (Aug 04 2023 at 17:02):wysiwyg is okay for simple things, but I think eventually when you start doing more complicated stuff you have to start working with the source.