在this question之后，当我处于逐字模式时，我完全无法让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的文档。