Mercurial > urweb

diff doc/manual.tex @ 2107:6700f3700328

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Reference manual: fix rendering of field removal operators
author Adam Chlipala <adam@chlipala.net>
date Thu, 22 Jan 2015 11:00:17 -0500
parents c647f113ba3e
children 1218daa14279
line wrap: on
line diff
--- 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}