I have a piece of tex in a .lyx file that should look like this:
\begin{verbatim}
fun fact 0 = 1
| fact n = n * fact(n-1)
\end{verbatim}(with forced linebreak characters at the end of each line) How can I type the double space before the | character without using Ctrl-space (which appears as a tilde because of the verbatim environment)? Many thanks, Sarah
