Fix up unescaped tilde; reported by several people.

This commit is contained in:
Fred Drake 2002-03-18 16:47:14 +00:00
parent a8b663806b
commit f6eafc3fe1
1 changed files with 1 additions and 1 deletions

View File

@ -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