home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / text / tex / 9422 < prev    next >
Encoding:
Internet Message Format  |  1992-07-22  |  1.0 KB
  1. Path: sparky!uunet!mcsun!uknet!yorkohm!minster!dan
  2. From: dan@minster.york.ac.uk
  3. Newsgroups: comp.text.tex
  4. Subject: Re: Setminus but not quite
  5. Message-ID: <711841381.28977@minster.york.ac.uk>
  6. Date: 22 Jul 92 21:43:01 GMT
  7. References: <1992Jul22.124144.20741@Csli.Stanford.EDU>
  8. Organization: Department of Computer Science, University of York, England
  9. Lines: 25
  10. X-Newsreader: Tin 1.1 PL4
  11.  
  12. gandalf@Csli.Stanford.EDU (Juergen Wagner) writes:
  13. : [titan.rice.edu seems to have vanished from my name server tables]
  14. : 
  15. : What about setminus with a singleton? I don't see why we need a new
  16. : operator here. I haven't seen any in the literature, either.
  17. : 
  18. : --Juergen Wagner
  19. : J_Wagner@iao.fhg.de
  20. : gandalf@csli.stanford.edu
  21.  
  22. OK... I quite like the idea so:
  23.  
  24.  
  25. == [X] ==================================
  26. | _ sminus _ : |P X x X -> |P X
  27. +----------------------------------------
  28. |forall S:|P X;t:X .
  29. |  S sminus t = { x:X|x in S and x neq t}
  30.  
  31. where sminus is typeset as, say, \heartsuit.
  32.  
  33. There you go. Now \heartsuit is your set-minus operator.
  34. Happy?
  35.  
  36. -- Daniel
  37.