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

used as a closing quote. At AMK's request.
1998-04-03 21:22:31 +00:00 · 1998-04-03 21:22:31 +00:00 · 47cfd03dff
parent 042ff9eb3a
commit 47cfd03dff
1 changed files with 1 additions and 1 deletions
--- 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!