LaTeX, tildes y modo verbatim

Question

Siguiendo de this question, estoy totalmente perplejo al conseguir que LaTeX me dé una tilde cuando estoy en modo literal. Tiene que ser una tilde porque es el tipo de una función!

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

métodos estándar de visualización de una tilde se imprimen pie de la letra, por supuesto ..

¿Alguna sugerencia?

Una edición para aclarar: Escribir un ~ en modo literal da un acento sobre un espacio en blanco. Estoy buscando una tilde como aparece al comienzo de esta oración.

Answer 1

Si hay algunos caracteres que no se encuentran en su entrada, puede utilizar fancyvrb y su opción commandchars para insertar comandos TeX dentro texto literal:

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

Consulte la documentación de fancyvrb para obtener más .

Answer 2

Tal vez usted debe buscar en: LaTeX package to do syntax highlighting of code in various languages que tiene sugerencias para el código de composición tipográfica ...

---

que supone que listing lo haría por ti, pero en su defecto alltt y fancyvrb son alternativas a verbatim. Ver this search on CTAN para otras posibilidades.

Answer 3

\begin{verbatim} 
~ 
\end{verbatim} 

Answer 4

Si está utilizando el comando de listado, puede establecer que la tilde sea literal. Likt esto.

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

\begin{document} 

\begin{lstlisting} 
~ 
\end{lstlisting} 

\end{document}