Fix up unescaped tilde; reported by several people.

freddrake · freddrake · commit f6eafc3fe166 · 2002-03-18T16:47:14.000Z
diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
@@ -629,7 +629,7 @@ \section{Unary arithmetic operations \label{unary}}
 \begin{productionlist}
   \production{u_expr}
              {\token{power} | "-" \token{u_expr}
-              | "+" \token{u_expr} | "~" \token{u_expr}}
+              | "+" \token{u_expr} | "{\~}" \token{u_expr}}
 \end{productionlist}
 
 The unary \code{-} (minus) operator yields the negation of its
