LaTeX、波浪线和逐字模式

Question

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

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

当然，显示波浪号的标准方法是逐字打印的。

有什么建议？

澄清的编辑:在逐字模式下键入 ~ 会在空格上方产生重音。我在寻找出现在这句话开头的波浪号。

Answer 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 的文档更多。