继this question之后,当我处于逐字模式时,我总是难以让LaTeX给我一个波浪号。它必须是代字号,因为它是函数的类型!
sig symm : (Board, [(Int, Int)]) ~> Bool
显示代字号的标准方法当然是逐字打印的。
有什么建议吗?
编辑以澄清:在逐字模式下键入〜会在空格上方添加重音。因为它出现在这句话的开头。
答案 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
会为您执行此操作,但如果alltt
和fancyvrb
失败,则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}