该图像中出现的是哪个 Latex 文本编辑器？

Question

我不确定这里是否适合问这个问题。因此，如果造成任何误解，我深表歉意。

我想知道以下链接中的视频是用什么软件做的： 视频

以下是视频中某一帧的相关部分：

Answer 1

我一点头绪都没有。但我还是这么做了。查找了我们唯一能找到的线索——文件扩展名.tm。

出现了两场比赛：

• GNU TeXmacs
• WinTeXmacs（似乎只是上述版本的一种版本）

接下来是 GNU TeXmacs 的图像搜索和结果这是：

我觉得我们匹配。

注意：

文档可以保存为 TeXmacs、Xml 或 Scheme 格式，并打印为 Pdf 或 Postscript 文件。有 TeX/LaTeX 和 Html/Mathml 转换器。请注意，TeXmacs 不是基于 TeX/LaTeX。