LaTeX,tildes和verbatim模式

继这个问题之后,当我处于逐字模式时,我完全难以让LaTeX给我一个波浪号.它必须是代字号,因为它是函数的类型!

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

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

有什么建议？

一个编辑澄清:在逐字模式下键入〜给出一个空格以上的重音.因为它出现在这句话的开头.

如果输入中没有出现某些字符,可以使用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的文档.