home *** CD-ROM | disk | FTP | other *** search
/ Simtel MSDOS 1992 December / simtel1292_SIMTEL_1292_Walnut_Creek.iso / msdos / laser / logic.arc / READ.ME < prev   
Text File  |  1989-01-08  |  2KB  |  60 lines
  1.  
  2.                           THE LOGIC SYMBOLS FONT
  3.                               by Scott Pakin
  4.  
  5.  
  6. Characteristics
  7. ---------------
  8.  
  9. Font name:      Logic Symbols
  10. Orientation:    Portrait
  11. Symbol set:     HP Math-7 (0A)
  12. Spacing:        Proportional
  13. Height:         12-point
  14. Style:          Upright
  15. Stroke weight:  Medium
  16. Typeface:       255 (undefined)
  17.  
  18. # of defined characters: 25
  19.  
  20. Proportional width table
  21. ------------------------
  22. '               17
  23. |               19
  24. e               32
  25. :A              33
  26. E               36
  27. f               39
  28. O^v             42
  29. ~               44
  30. #)<=>CDGH       46
  31. NU              50
  32. -               55
  33. P               58
  34. (char 127)      67
  35.  
  36.  
  37. Logic Symbols is a font containing symbols used frequently in mathematical
  38. proofs.  The font contains symbols for propositional and predicate
  39. calculus, boolean algebra, sets, and more.
  40.  
  41. To demonstrate some of the uses of Logic Symbols, I have created the file
  42. LOGTEST.TXT.  To print LOGTEST.TXT, first select any standard text font
  43. (Times Roman, Courier, Prestige Elite, etc.) as the primary font.  Note:
  44. LOGTEST.TXT looks best when printed with a 12-point font.  Next, download
  45. LOGIC12.SFP using any font downloading program, and -- this is important --
  46. make sure that it is downloaded as the SECONDARY font.  (For any use other
  47. than printing LOGTEST.TXT, Logic Symbols can be downloaded as the primary
  48. font.) Now, print LOGTEST.TXT by entering the DOS command:
  49.  
  50.                           COPY LOGTEST.TXT LPT1:
  51.  
  52. or use whatever method you usually use to print an ASCII file.
  53.  
  54.  
  55. SEND ALL QUESTIONS AND COMMENTS TO:
  56. Scott Pakin
  57. 6007 N. Sheridan Rd.
  58. Chicago, IL  60660
  59.  
  60.