Adjust a few niggles that affected the HTML conversion (a couple of
"^"s were being dropped in the context of [^...]).
diff --git a/Doc/lib/libre.tex b/Doc/lib/libre.tex
index 81bfd92..161cc5b 100644
--- a/Doc/lib/libre.tex
+++ b/Doc/lib/libre.tex
@@ -150,7 +150,7 @@
You can match the characters not within a range by \dfn{complementing}
the set. This is indicated by including a
\character{\^} as the first character of the set; \character{\^} elsewhere will
-simply match the \character{\^} character. For example, \regexp{[\^5]}
+simply match the \character{\^} character. For example, \regexp{[{\^}5]}
will match any character except \character{5}.
\item[\character{|}]\code{A|B}, where A and B can be arbitrary REs,
@@ -254,7 +254,7 @@
equivalent to the set \regexp{[0-9]}.
%
\item[\code{\e D}]Matches any non-digit character; this is
-equivalent to the set \regexp{[\^0-9]}.
+equivalent to the set \regexp{[{\^}0-9]}.
%
\item[\code{\e s}]Matches any whitespace character; this is
equivalent to the set \regexp{[ \e t\e n\e r\e f\e v]}.
@@ -270,7 +270,7 @@
%
\item[\code{\e W}]When the \constant{LOCALE} flag is not specified,
matches any non-alphanumeric character; this is equivalent to the set
-\regexp{[\^a-zA-Z0-9_]}. With \constant{LOCALE}, it will match any
+\regexp{[{\^}a-zA-Z0-9_]}. With \constant{LOCALE}, it will match any
character not in the set \regexp{[0-9_]}, and not defined as a letter
for the current locale.