home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / os / mswindo / apps / 6830 < prev    next >
Encoding:
Internet Message Format  |  1993-01-10  |  3.5 KB
  1. Path: sparky!uunet!stanford.edu!agate!spool.mu.edu!vms.csd.mu.edu!5916RAHMANK
  2. From: 5916rahmank@vms.csd.mu.edu ( )
  3. Newsgroups: comp.os.ms-windows.apps
  4. Subject: Re: how to do:x is element of ... in WordfW.?
  5. Date: 10 Jan 1993 16:36:10 GMT
  6. Organization: Department of EECE, Marquette University
  7. Lines: 61
  8. Message-ID: <0096665B.809E1820@vms.csd.mu.edu>
  9. References: <0096652D.2D078680@vms.csd.mu.edu>,<1993Jan9.183920.19306@cs.tu-berlin.de>
  10. Reply-To: 5916rahmank@vms.csd.mu.edu
  11. NNTP-Posting-Host: vmsf.csd.mu.edu
  12.  
  13. In article <1993Jan9.183920.19306@cs.tu-berlin.de>, oertelh@cs.tu-berlin.de (Helmut Oertel) writes:
  14. >
  15. >The character at position 194 in the symbol font is not the symbol
  16. >generally used for the set of real numbers, but an oldgerman (altdeutsch)
  17. >R used for a system of sets in the field of stochastic (sigma algebras) -
  18. >at least a fellow student told me they somtimes use it for this purpose.
  19. >The R most often used for the set of real numbers has a vertical line at its
  20. >left side, just as Olaf Winkelhake described it above (if you don't believe
  21. >me just open any mathematical textbook, they either use a bold R or the one
  22. >described above).
  23. >So again, what we are looking for is a font that includes such an R, a
  24. >corresponding C, N, Z and Q (guess you know what they stand for) as well as 
  25. >some other mathematical symbols not included in the symbol font file.
  26. >
  27.         The appearance of the syambol 'R' to denote real numbers is not unique.
  28.         It varies from book to book. Most mathematics books would have the
  29.         shape you've described, but some other books have the sahpe which is
  30.         neither like an R with an extra line on the left nor the R given
  31.         in the symbol font set at the 0194 position. It seems to me that,
  32.         this particular shape or R at 0194 is a creation of Microsoft.
  33.  
  34.         Two points to note here.
  35.  
  36.    1.   The previous claim was that 'there is no such R character in the
  37.         symbol font set that can be used to represent real numbers.' At
  38.         that point I suggested to try the outlined prescription before
  39.         making such a blunt comment. However, now the claim is this R is
  40.         not the one used most often (!).
  41.         I have used that R from the symbol font in my thesis to represent
  42.         real number and I passed. I never thought the committee didn't
  43.         know how a 'Re' symbol looks like. Probably I went lucky, huh?
  44.  
  45.    2.   Character 0193 and 0194 in the symbol font set can be used to
  46.         represent imaginary (I) and real (R) numbers. Actually there are
  47.         few other symbols around this region of the font that are used
  48.         in the set theory. What one has to be careful about is the
  49.         character alt+194 and the character alt+0194 are NOT the same!
  50.         One must press the zero and then the 3 digit code to get the
  51.         correct symbol.
  52.  
  53. >
  54. >Think! before making a comment. You better read more carefully what people 
  55. >are trying to express [description of the R] (greetings to your friend).
  56.                         ~~~~~~~~~~~~~~~~~~~~
  57.         Read above.
  58. >
  59. >**
  60. >Helmut Oertel
  61. >Technical University of Berlin, Germany
  62. >oertelh@cs.tu-berlin.de
  63. >
  64.         I must point out that I don't have enough idle time to spend for
  65.         this pointless matter. Your constructive comments are welcome but
  66.         I'll probably have to refrain myself from reciprocating unless
  67.         it is something worth. I yelled 'Shut up' to my friend, but now
  68.         have to take her lunch. I wish people practised what they'd like
  69.         to preach (think!).
  70.  
  71.         Regards,
  72.  
  73.     -Anis.
  74.