The Alt+Enter shortcut isn't limited to new formulas you write—you can go back and clean up any messy formulas at any time.

For Linux and MacOS, Fresh is the best of both worlds - a terminal text editor with GUI-like options. I'm all for it.

EqualZ is a simplified clone of EqualX, but written in Python and standalone, i.e. without depending on external tools. In other words, you don't have to install a full LaTeX stack and bloat your disk ...