6

Following on from this question, I'm totally stumped on getting LaTeX to give me a tilde when I'm in verbatim mode. It has to be a tilde because it's the type of a function!

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

Standard methods for displaying a tilde are printed verbatim, of course..

Any suggestions?

An edit to clarify: Typing a ~ in verbatim mode gives an accent above a blank space. I'm after a tilde as it appears at the beginning of this sentence.

4 Answers 4

5

If there are some characters that do not occur in your input, you can use fancyvrb and its commandchars option to insert TeX commands within verbatim text:

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

See the documentation of fancyvrb for more.

0
2

Perhaps you should look at: LaTeX package to do syntax highlighting of code in various languages which has suggestions for typesetting code...


I assumed that listing would do it for you, but failing that alltt and fancyvrb are alternatives to verbatim. See this search on CTAN for other possibilities.

2
  • That's an awful lot of effort just to get a tilde! And as far as I can see with experimenting and reading documentation, it still doesn't solve my problem.
    – Sam
    Mar 25, 2009 at 16:19
  • alltt looked promising but still appears to give the accented tilde. I'll hunt though the options of both packages, cheers.
    – Sam
    Mar 25, 2009 at 17:16
2

If you are using listing command, you can set the tilde to be literal. Likt this.

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

\begin{document}

\begin{lstlisting}
~
\end{lstlisting}

\end{document}
0
\begin{verbatim}
~
\end{verbatim}
5
  • LOL. I just assume that aradnuk had alread tried and failed! +1 Mar 25, 2009 at 16:50
  • 1
    A single tilde places an accent over an invisible letter, if you will, so it's up high rather than in the centre of the line.
    – Sam
    Mar 25, 2009 at 17:10
  • 1
    @aradnuk: You should probably edit the question to reflect your desire to have a "full-sized" tilde centered vertically... Mar 25, 2009 at 17:21
  • @aradnuk: no, it places tilde in the centre of the line. I tried many combinations and I get always tilde in the center of line.
    – klew
    Mar 25, 2009 at 21:59
  • maybe this depends on the encoding of the input file? just a guess
    – Kim Stebel
    Apr 8, 2009 at 6:51

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.