Why are you using TeXmacs when the vastly superior https://www.overleaf.com/ is available?