summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2015-01-22 11:00:17 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2015-01-22 11:00:17 -0500
commitdf953c3e45f9360ee3523ebf0541bdf962fbe7b9 (patch)
tree0d65db9a3ab66982687ec620a55ffe284d55afda /doc
parentd64871d978719a36f3f52d6fdaef80fc757fa752 (diff)
Reference manual: fix rendering of field removal operators
Diffstat (limited to 'doc')
-rw-r--r--doc/manual.tex4
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}