> Integrating some actual programming features could be a game changer.
LuaTeX already lets you embed Lua code and it is really good.
However, I do agree some usability improvements are needed.
Have you ever looked at a category theory or differential geometry paper? It just doesn’t feel like you appreciate what people are up against.
Look at this thing: https://images.app.goo.gl/4WHN9Pqupxkk8Z3j7
And that’s before you get into stuff like categories of spans, etc.
Large swathes of mathematics, computer science, and physics involve notations and diagrams that are genuinely hard to typeset, and incredibly repetitive and hard to read if you don’t make heavy use of the macro system. Integrating some actual programming features could be a game changer.