Will it allow you to write math in any way that you like and it could then just know what you mean and convert what you type to a format like LaTeX?
See for example GPT4 converting user input to valid LaTeX on pages 25–26 here:
Maybe this could lead to a new input method for TeXmacs?