☰

unicode \begin{verbatim} 和 cmtt?

tag-icon • tag-icon verbatim unicode typewriter
unicode \begin{verbatim} 和 cmtt?

许多前沿的编程语言（如 Coq 和 Agda）允许在程序文本中几乎不受限制地使用 Unicode 符号，因此您可以$\otimes$在程序中使用数学字符（如 (Unicode U+2A02)）作为运算符。

我希望能够在类似逐字的环境中将这些程序直接剪切并粘贴到我的 LaTeX 文档中并获得合理的结果。由于各种原因，我无法使用 listings 环境——我需要排版输出看起来与程序在计算机屏幕上显示相同，即使 listings 包会使其“更漂亮”。

不幸的是，我非常喜欢的计算机现代打字机 (cmtt) 字体没有数学符号，但应该有一些包尽可能逐字使用 cmtt，并在遇到 cmtt 中没有的 unicode 符号时返回到数学字体。

像这样的包可能需要付出很大努力才能将unicode数学符号与Latex 符号列表但是，一旦编制出这样的表格，它就会非常非常有用！

因此，我想我的问题分为两部分：是否有人编制过这样的表格，并且（更重要的是）是否有人使用它来生成对处理unicode数学字符做出“合理努力”的逐字记录？

答案1

我建议使用 XeLaTeX 或 LuaLaTeX，并为需要这些符号的逐字文本加载适当的 Unicode 字体。恐怕在这种情况下 pdfLaTeX 不会起作用。

答案2

现在的问题是回答了。如果符号不多，可以使用newunicodechar包手动将unicode字符映射到LaTeX代码。

\usepackage{newunicodechar}
\newunicodechar{⟨}{\ensuremath{\langle}}

答案3

我通常这样做：

\usepackage[utf8]{inputenc}
\usepackage{verbatim}

{\scriptsize \verbatiminput{fileToInput.txt}}

也许 \verbatiminput 可以为你完成这项工作？

/玩得开心

相关内容