Increase space between the end of a regexp and the little right floor symbol

used as a closing quote.  At AMK's request.

diff --git a/Doc/texinputs/python.sty b/Doc/texinputs/python.sty
index 009caaf1ccef7398feefdbd316cd1421b74ff757..bee22d5bfd80919979a3a83b1b3197f9bd9ea60c 100644 (file)
--- a/Doc/texinputs/python.sty
+++ b/Doc/texinputs/python.sty
@@ -563,7 +563,7 @@
 \newcommand{\regexp}[1]{%
   {\tiny$^{^\lceil}\!\!$%
    {\normalsize\code{#1}}%
-   $\!\!\rfloor\!$%
+   $\!\rfloor\!$%
   }}
 \newcommand{\envvar}[1]{%
   \$#1%                                 $ <-- bow to font-lock 3 times!