Redefinition list

Let's look at all the redefinitions that took place in the first few lines...

/;{}def                            % ; is redefined to nothing
                                   % So don't mind the next ; we'll encounter.
/#{def}def                         % # is redefined to def
/$_={/Times-Bold exch selectfont}# % $_= is redefined to {/Times-Bold exch selectfont}
/_{rmoveto}#                       % _ is redefined to rmoveto
/"{dup}#                           % " is redefined to dup
/*/!/$                             % *, ! and $ are kept on the stack for later use
;/q{exch}#                         % q is redefined to exch
/x ; {/J q #}#                     % x is redefined to /J exch def
/.{/T q #}#                        % . is redefined to /T exch def
{stringwidth}#{}#{}#               % now, *, ! and $ are redefined respectively
                                   % to nothing, nothing and stringwidth

• More precisely, {} is a piece of executable code doing nothing.

Previous | Next

Copyright © 2000-2001, Philippe "BooK" Bruhat.