% This is like the `draft' style option, except that it also puts symbolic % label definitions in the left margin as they are encountered. % Some label definitions might not go into the margin; some might even overlap % other text in unusual circumstances. \overfullrule=5pt \def\@shlb#1{$[{\it#1\/}=\@currentlabel]$} % [