Mercurial > urweb
comparison doc/manual.tex @ 2107:6700f3700328
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 |
comparison
equal
deleted
inserted
replaced
| 2106:18ef1db770f6 | 2107:6700f3700328 |
|---|---|
| 4 \usepackage{ae,aecompl} | 4 \usepackage{ae,aecompl} |
| 5 \newcommand{\cd}[1]{\texttt{#1}} | 5 \newcommand{\cd}[1]{\texttt{#1}} |
| 6 \newcommand{\mt}[1]{\mathsf{#1}} | 6 \newcommand{\mt}[1]{\mathsf{#1}} |
| 7 | 7 |
| 8 \newcommand{\rc}{+ \hspace{-.075in} + \;} | 8 \newcommand{\rc}{+ \hspace{-.075in} + \;} |
| 9 \newcommand{\rcut}{\; \texttt{--} \;} | 9 \newcommand{\rcut}{\; \texttt{-{}-} \;} |
| 10 \newcommand{\rcutM}{\; \texttt{---} \;} | 10 \newcommand{\rcutM}{\; \texttt{-{}-{}-} \;} |
| 11 | 11 |
| 12 \begin{document} | 12 \begin{document} |
| 13 | 13 |
| 14 \title{The Ur/Web Manual} | 14 \title{The Ur/Web Manual} |
| 15 \author{Adam Chlipala} | 15 \author{Adam Chlipala} |