LaTeX, tyldy i tryb dosłowności

Question

Kontynuując od this question, jestem całkowicie zdumiony, gdy LaTeX daje mi tyldę, gdy jestem w trybie dosłownym. Musi to być tylda, ponieważ jest to typ funkcji!

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

Standardowe metody wyświetlania tyldy są drukowane verbatim, oczywiście ..

Wszelkie sugestie?

Edycja w celu wyjaśnienia: Wpisanie znaku ~ w trybie dosłownym daje akcent powyżej pustego miejsca. Popieram tyldę, jak się wydaje na początku tego zdania.

Answer 1

Jeśli istnieją jakieś znaki, które nie występują w danych wejściowych, można użyć fancyvrb i jego opcji commandchars wstawić polecenia TeX w tekście verbatim:

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

Zobacz dokumentację fancyvrb dłużej .

Answer 2

Być może należy spojrzeć na: LaTeX package to do syntax highlighting of code in various languages który ma propozycje kodu składu tekstu ...

---

Sądziłem, że listing zrobi to za Ciebie, ale w przypadku jego braku alltt i fancyvrb są alternatywy dla verbatim. Zobacz this search on CTAN dla innych możliwości.

Answer 3

\begin{verbatim} 
~ 
\end{verbatim} 

Answer 4

Jeśli używasz polecenia list, możesz ustawić tyldę jako literalną. Odłóż to.

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

\begin{document} 

\begin{lstlisting} 
~ 
\end{lstlisting} 

\end{document}