You might find the following useful : Visual Understanding Environment - https://vue.tufts.edu/ Came across this in another thread recently - https://quarto.org/. - Source: Hacker News / 5 months ago

I use this for drawing "graphs" in the formal math sense like you're looking for: https://vue.tufts.edu/. Source: about 2 years ago

There are a number of free and commercial softwares developed for diagrams, flowcharts, and mind mapping with similar features. I haven't used them in a while, but in the past I've liked yEd and VUE. Both are free and support multiple platforms. Source: over 2 years ago

The site is working for me ( https://vue.tufts.edu ) as is the download, so it was probably a temporary glitch. Source: almost 3 years ago

I think your best bet may be Visual Understanding Environment (VUE). I can't say for sure if it will store or play videos but they make a big deal about "digital media" on their website. Source: almost 3 years ago

I have been using Typst[1] for taking notes on machine learning. It's fast (updates are instantaneous). The syntax is almost like Markdown. I tried to learn LaTeX but Typst seems to have an easier learning curve. [1]: https://typst.app/. - Source: Hacker News / 3 months ago

I'd personally consider using Typst (https://typst.app) instead of LaTeX. It has a much more readable syntax and you don't need as much snippets to write it. You can use in on their website or run the compiler locally just like LaTeX. - Source: Hacker News / 3 months ago

For writing math notes (especially in vim), I switch to using Typst (https://typst.app). Here's a few points: - The syntax is a lot lighter and easier to type fast. I was up and running in half hour after starting to use it. Once in a while I can look up some symbol name in the docs but that's about it. - Empty document is a valid document. No preambles, no includes etc, it's all optional and the defaults are... - Source: Hacker News / 4 months ago

Have you seen typst? I have moved over from LaTex to Typst and most if not all your use cases are covered. https://typst.app/. - Source: Hacker News / 4 months ago

How does this compare to Typst?[1] What I like about Typst is that I can use it completely offline and with my editor of choice. Is this planned for htmldocs too? [1] https://typst.app/. - Source: Hacker News / 4 months ago