home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / text / tex / 9387 < prev    next >
Encoding:
Text File  |  1992-07-22  |  602 b   |  19 lines
  1. Newsgroups: comp.text.tex
  2. Path: sparky!uunet!stanford.edu!Csli!gandalf
  3. From: gandalf@Csli.Stanford.EDU (Juergen Wagner)
  4. Subject: Re: Setminus but not quite
  5. Message-ID: <1992Jul22.124144.20741@Csli.Stanford.EDU>
  6. Organization: Stanford University CSLI
  7. References: <1992Jul22.043157.5595@rice.edu>
  8. Date: Wed, 22 Jul 1992 12:41:44 GMT
  9. Lines: 8
  10.  
  11. [titan.rice.edu seems to have vanished from my name server tables]
  12.  
  13. What about setminus with a singleton? I don't see why we need a new
  14. operator here. I haven't seen any in the literature, either.
  15.  
  16. --Juergen Wagner
  17. J_Wagner@iao.fhg.de
  18. gandalf@csli.stanford.edu
  19.