LaTeX,tildes和verbatim模式

时间:2009-03-25 15:51:11

标签: latex

this question之后,当我处于逐字模式时,我总是难以让LaTeX给我一个波浪号。它必须是代字号,因为它是函数的类型!

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

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

有什么建议吗?

编辑以澄清:在逐字模式下键入〜会在空格上方添加重音。因为它出现在这句话的开头。

4 个答案:

答案 0 :(得分:5)

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

答案 1 :(得分:2)

也许你应该看一下:LaTeX package to do syntax highlighting of code in various languages有关于排版代码的建议......


我认为listing会为您执行此操作,但如果allttfancyvrb失败,则verbatim会替代{{1}}。有关其他可能性,请参阅this search on CTAN

答案 2 :(得分:2)

如果您使用listing命令,则可以将代字号设置为文字。 Likt this。

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

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}

答案 3 :(得分:1)

\begin{verbatim}
~
\end{verbatim}