如何将复制的文本转换为 Latex 语法?

如何将复制的文本转换为 Latex 语法?

我想将一些终端输出复制并粘贴到我的 Latex 文档中。我正在使用 texmaker,当我尝试编译这样的文本时

[追踪] ?- mutter_von(Mutter,Kind)。
呼叫:(8)mutter_von(_4028,_4030)?爬行
退出:(8)mutter_von(marie,hans)?蠕变

由于符号“_”、“[”和“]”,texmaker 给我一个编译错误。有没有方便的方法可以强制将上述文本粘贴到 texmaker 文档中,并将 [ 替换为 $[$ 等。或者我需要手动执行此操作,因为这非常麻烦。

相关内容