In description of \D, revise markup so that the caret shows up in the HTML

version as well as the dvi form.  Without the fix, it showed up as an extra
zero character.

Bug reported by Hugh Sasse <hgs@dmu.ac.uk>.
This commit is contained in:
Fred Drake 1998-01-06 15:46:21 +00:00
parent ecbc1cc320
commit c4586387f6
2 changed files with 2 additions and 2 deletions

View File

@ -219,7 +219,7 @@ Python's string literals.
equivalent to the set \code{[0-9]}.
%
\item[\code{\e D}]Matches any non-digit character; this is
equivalent to the set \code{[\^0-9]}.
equivalent to the set \code{[{\^}0-9]}.
%
\item[\code{\e s}]Matches any whitespace character; this is
equivalent to the set \code{[ \e t\e n\e r\e f\e v]}.

View File

@ -219,7 +219,7 @@ Python's string literals.
equivalent to the set \code{[0-9]}.
%
\item[\code{\e D}]Matches any non-digit character; this is
equivalent to the set \code{[\^0-9]}.
equivalent to the set \code{[{\^}0-9]}.
%
\item[\code{\e s}]Matches any whitespace character; this is
equivalent to the set \code{[ \e t\e n\e r\e f\e v]}.