LaTeX, tildes and verbatim mode

Question

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.

score 5 · Accepted Answer · answered Mar 25 '09 at 17:50

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.

score 2 · Answer 2 · answered Nov 20 '09 at 16:24

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}

score 2 · Answer 3 · edited May 23 '17 at 12:02

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.

edited May 23 '17 at 12:02

Community

1
1

answered Mar 25 '09 at 16:03

dmckee --- ex-moderator kitten

98,632
24
142
234

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 '09 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 '09 at 17:16

score 0 · Answer 4 · answered Mar 25 '09 at 16:45

0

\begin{verbatim}
~
\end{verbatim}

answered Mar 25 '09 at 16:45

klew

14,837
7
47
59

LOL. I just assume that aradnuk had alread tried and failed! +1 – dmckee --- ex-moderator kitten Mar 25 '09 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 '09 at 17:10
1

@aradnuk: You should probably edit the question to reflect your desire to have a "full-sized" tilde centered vertically... – dmckee --- ex-moderator kitten Mar 25 '09 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 '09 at 21:59
maybe this depends on the encoding of the input file? just a guess – Kim Stebel Apr 08 '09 at 06:51

LaTeX, tildes and verbatim mode

4 Answers4

Linked