diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-01-22 11:00:17 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-01-22 11:00:17 -0500 |
| commit | 5f59d3d302b7bed03cd6ec188c38ba3396802f0c (patch) | |
| tree | 0d65db9a3ab66982687ec620a55ffe284d55afda /doc | |
| parent | 40ccbda85d1e5787087d7acd3bb626bc7adcffba (diff) | |
Reference manual: fix rendering of field removal operators
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.tex b/doc/manual.tex index eb80e0d5..bcdb7f35 100644 --- a/doc/manual.tex +++ b/doc/manual.tex @@ -6,8 +6,8 @@ \newcommand{\mt}[1]{\mathsf{#1}} \newcommand{\rc}{+ \hspace{-.075in} + \;} -\newcommand{\rcut}{\; \texttt{--} \;} -\newcommand{\rcutM}{\; \texttt{---} \;} +\newcommand{\rcut}{\; \texttt{-{}-} \;} +\newcommand{\rcutM}{\; \texttt{-{}-{}-} \;} \begin{document} |