LaTeX、波浪线和逐字模式答案

【问题标题】：LaTeX, tildes and verbatim modeLaTeX、波浪线和逐字模式
【发布时间】：2010-10-15 11:53:53
【问题描述】：

从this question 开始，当我处于逐字模式时，我完全无法让 LaTeX 给我一个波浪号。它必须是波浪号，因为它是函数的类型！

sig symm : (Board, [(Int, Int)]) ~> Bool

显示波浪线的标准方法当然是逐字打印的..

有什么建议吗？

需要澄清的编辑：在逐字模式下键入 ~ 会在空格上方显示重音。我在这句话的开头出现一个波浪号。

【问题讨论】：

标签： latex

【解决方案1】：

如果您的输入中没有出现某些字符，您可以使用 fancyvrb 及其 commandchars 选项在逐字文本中插入 TeX 命令：

\documentclass{article}
\usepackage{fancyvrb}
\begin{document}
\newcommand{\mytilde}{$\sim$}
\begin{Verbatim}[commandchars=\\\{\}]
sig symm : (Board, [(Int, Int)]) \mytilde> Bool
\end{Verbatim}
\end{document}

更多信息请参见fancyvrb 的文档。

【讨论】：

这正是我所需要的。非常感谢！

【解决方案2】：

也许你应该看看：LaTeX package to do syntax highlighting of code in various languages，里面有排版代码的建议……

我认为 listing 会为你做这件事，但如果不这样做，alltt 和 fancyvrb 是 verbatim 的替代品。其他可能性请参见this search on CTAN。

【讨论】：

为了得到一个波浪号就付出了巨大的努力！据我通过实验和阅读文档所见，它仍然不能解决我的问题。
alltt 看起来很有希望，但似乎仍然给出了重音代字号。我会寻找两个包的选项，干杯。

【解决方案3】：

如果您使用列表命令，您可以将波浪号设置为文字。喜欢这个。

\documentclass
\usepackage{listings}
\lstset{
    literate={~} {$\sim$}{1} % set tilde as a literal (no process)
}

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}

【讨论】：

【解决方案4】：

\begin{verbatim}
~
\end{verbatim}

【讨论】：

哈哈。我只是假设 aradnuk 已经尝试过但失败了！ +1
如果你愿意的话，一个波浪号会在一个不可见的字母上加上一个重音符号，所以它在高处而不是在行的中心。
@aradnuk：您可能应该编辑问题以反映您希望有一个“全尺寸”波浪号垂直居中...
@aradnuk：不，它会将波浪号放在行的中心。我尝试了很多组合，我总是在线条的中心找到波浪号。
也许这取决于输入文件的编码？只是猜测