LaTeX、tildes和逐字记录模式

接下来，当我处于逐字记录模式时，我完全被LaTeX给我一块瓷砖弄得不知所措。它必须是波浪线，因为它是函数的类型

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

当然，显示瓷砖的标准方法是逐字打印

有什么建议吗

---

要澄清的编辑：在逐字模式下键入a~会在空白上方显示重音。我要的是这句话开头出现的瓷砖

也许你应该看看：里面有关于排版代码的建议

---

---

我认为这对你来说可以，但如果失败了，这是

逐字

的替代方案。有关其他可能性，请参阅。

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

\begin{verbatim}
~
\end{verbatim}

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

---

有关详细信息，请参阅的文档。

如果使用listing命令，则可以将波浪线设置为文字。喜欢这个

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

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}

---

仅仅为了得到一块瓷砖就要付出很大的努力！就我在实验和阅读文档中所见，它仍然不能解决我的问题。alltt看起来很有希望，但似乎仍然给人一种强调的感觉。我会浏览两个套餐的选项，干杯。哈哈。我只是认为阿拉德努克已经尝试过了，但失败了+1如果你愿意的话，单波浪形文字会在一个看不见的字母上加上重音，因此它是高高的，而不是在线条的中心。@aradnuk:你可能应该编辑这个问题，以反映你希望有一个“全尺寸”波浪形文字垂直居中的愿望。@aradnuk:不，它会将波浪形文字放在线条的中心。我尝试了很多组合，但我总是在线条的中心画瓷砖。也许这取决于输入文件的编码？只是一个猜测，这正是我需要的。谢谢！