# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1421942417 18000
# Node ID 6700f370032896d987dc065499bd6fb2b8e08744
# Parent  18ef1db770f62d7a10c7f887e769c4552ec51aa6
Reference manual: fix rendering of field removal operators

diff -r 18ef1db770f6 -r 6700f3700328 doc/manual.tex
--- a/doc/manual.tex	Thu Jan 22 09:55:05 2015 -0500
+++ b/doc/manual.tex	Thu Jan 22 11:00:17 2015 -0500
@@ -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}