Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!sumax!thebes!mtk!marmar
From: marmar@mtk.UUCP (Mark Martino)
Newsgroups: comp.lang.postscript
Subject: The // operator
Summary: Is it for real?
Message-ID: <441@mtk.UUCP>
Date: 23 May 89 15:08:58 GMT
Reply-To: marmar@mtk.UUCP (Mark Martino)
Distribution: usa
Organization: Mannesmann Tally, Kent, WA 98032
Lines: 7

I was reading an article about the innards of PostScript and the author
mentioned an operator whose label is "//".  I put it into a file an ran
it through version 43.0.  It seemed to be recognized by the interpreter
but did not have any effect I could detect.

Is this a real operator?  I could not find it in the red, blue, or green
book.  If it is real, what is it supposed to do?