LaTeX

Android

https://www.researchgate.net/post/Which_is_the_best_latex_editor_for_tablets_iOS_or_Android

http://appcrawlr.com/android-apps/best-free-apps-latex-editor

https://softwarerecs.stackexchange.com/questions/20227/offline-latex-editor-and-compiler-for-android

Other Platforms

https://itsfoss.com/latex-editors-linux/

Want Texmacs, not mentioned above. Might also work within GnuRoot on Android?

Fully programmable and also works as front end for Sage and more. Slow screen updates but nice keyboard entry of many symbols instead of relying on point and click. That should help with rough drafts in plain text files and use with mathjax etc.

https://en.m.wikipedia.org/wiki/GNU_TeXmacs

http://www.texmacs.org/tmweb/home/welcome.en.html

Consider also TexStudio and Lyx. Perhaps others?

https://en.m.wikipedia.org/wiki/Comparison_of_TeX_editors

https://en.m.wikipedia.org/wiki/TeXstudio

Meanwhile Cocalc more than adequate and can just rough out in text files when offline.

For offline focus on superset/supplement to Cocalc facilities.

Would be good to have enough skills to just use raw mathjax with keyboard shortcut macros in simple text editor so don’t rely on WYSIYG completely – be aware of \LaTeX codes.

Also investigate any facilities involving MathML etc that could carry semantics with Agda, Coq, Sage etc.

Leanpub Markua includes with {$$} and {\$$} markers.

WordPress similar?

Try to figure out a way to switch between standard prefix notation like f(g(h)) to more natural right hand suffix notation as in cats.

Haskell and Agda should be able to do this? So should Guile underlying Texmacs?

Related

Need to know macro collections, emacs etc snippets, Maths classification codes. Standard terminologies, main journals and publishers and their style guides etc. Peer review mechanisms with arxiv.org etc.

eg Pick notations for cats, Geometric Algebra etc. Vocabulary from Proofwiki, Wikipedia and Walter Noll?