home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #16 / NN_1992_16.iso / spool / comp / text / tex / 9468 < prev    next >
Encoding:
Text File  |  1992-07-23  |  1.2 KB  |  34 lines
  1. Newsgroups: comp.text.tex
  2. Path: sparky!uunet!munnari.oz.au!manuel!csc.canberra.edu.au!shubshub!epm
  3. From: epm@shubshub.canberra.edu.au (Errol Martin)
  4. Subject: An upside-down iota logic symbol
  5. Message-ID: <epm.711930380@shubshub>
  6. Summary: What do I have to do to get an upside-down iota symbol
  7. Keywords: logic symbol
  8. Sender: news@csc.canberra.edu.au
  9. Organization: Info Sci & Eng, University of Canberra, AUSTRALIA
  10. Date: 23 Jul 92 22:26:20 GMT
  11. Lines: 21
  12.  
  13. I would like to use the 'definite description' operator of 
  14. Whitehead and Russell.  It is, effectively, an upside-down
  15. iota, just as the exists and forall operators are upside-
  16. down E and A.  Examples are in Whitehead and Russell's Principia
  17. Mathematica, e.g. there are several uses at the bottom of 
  18. p.66 of Vol. I of Principia Mathematica (same pagination as
  19. the paperback "to *56").
  20.  
  21. What do I have to do to get this symbol?  If it is part of a 
  22. regular font set then I will be embarassed at having asked the 
  23. net, but pleased to get an answer.  If I need to use Metafont
  24. to create such a symbol, has anyone already done this?
  25.  
  26. Thank you,
  27.  
  28. Errol Martin
  29. epm@shubshub.canberra.edu.au
  30. Faculty of Information Sciences and Engineeering
  31. PO Box 1 Belconnen ACT 2602 Australia
  32. Ph: +61 6 201 2153 Fax: +61 6 201 5041
  33.  
  34.