Non-curly quotes in code?

Question

Here is a quick question, how to use tex to print this ' symbol? An example is shown below:

data 'a list = Nil | Cons (e, 'a list)

I tried to use ' or `, but they all looks bad.. I am sorry but I am not a native English speaker, so I don't even know the name of '..

Could anyone help me on this simple problem? thank you

If it's Lisp code (I assume), have you tried the listings package with basicstyle=\ttfamily to make it look like a typewriter font? — Mike Renfro, Apr 13 '15 at 00:58
One obvious choice is $\prime$, but your best bet is to check the comprehensive list of latex symbols. — John Kormylo, Apr 13 '15 at 02:14

score 5 · Accepted Answer · answered Apr 13 '15 at 13:54

5

You can use the package upquote and put the code in a verbatim environment.

\documentclass{article}
\usepackage{upquote}
\begin{document}
\begin{verbatim}
data 'a list = Nil | Cons (e, 'a list)
\end{verbatim}
\end{document}

enter image description here

answered Apr 13 '15 at 13:54

musarithmia

1 Answers1