LaTeX, Tilden und verbatim Modus

Question

Im Anschluss an this question, ich bin total ratlos, dass LaTeX mir eine Tilde gibt, wenn ich im Verbatim-Modus bin. Es muss eine Tilde sein, weil es der Typ einer Funktion ist!

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

Standardmethoden für eine Tilde Anzeigen sind wörtlich gedruckt, natürlich ..

Irgendwelche Vorschläge?

Eine Bearbeitung zur Verdeutlichung: Das Eingeben eines ~ im Verbatim-Modus gibt einen Akzent oberhalb einer Leerstelle. Ich bin hinter einer Tilde her, wie sie am Anfang dieses Satzes erscheint.

Answer 1

Wenn es einige Zeichen, die in Ihrer Eingabe nicht auftreten, Sie fancyvrb und seine commandchars Option verwenden können, um TeX-Befehle innerhalb wörtlich Text einfügen:

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

die Dokumentation von fancyvrb Siehe mehr .

Answer 2

Vielleicht sollte man sich anschaut: LaTeX package to do syntax highlighting of code in various languages, die Vorschläge für den Satz Code hat ...

---

ich davon aus, dass listing es für Sie tun würde, aber in Ermangelung eines solchen alltt und fancyvrb sind Alternativen zu verbatim. Andere Möglichkeiten finden Sie unter this search on CTAN.

Answer 3

\begin{verbatim} 
~ 
\end{verbatim} 

Answer 4

Wenn Sie den Befehl listing verwenden, können Sie die Tilde als literal festlegen. Liket dies.

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

\begin{document} 

\begin{lstlisting} 
~ 
\end{lstlisting} 

\end{document}