From f6eafc3fe16662c4d40c3f8ce3283a9d309c5023 Mon Sep 17 00:00:00 2001
From: Fred Drake <fdrake@acm.org>
Date: Mon, 18 Mar 2002 16:47:14 +0000
Subject: [PATCH] Fix up unescaped tilde; reported by several people.

---
 Doc/ref/ref5.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Doc/ref/ref5.tex b/Doc/ref/ref5.tex
index 8101cb9465..fb8e3ddb9a 100644
--- a/Doc/ref/ref5.tex
+++ b/Doc/ref/ref5.tex
@@ -629,7 +629,7 @@ All unary arithmetic (and bit-wise) operations have the same priority:
 \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
-- 
2.50.1