THE LOGIC SYMBOLS FONT
                              by Scott Pakin


Characteristics
---------------

Font name:      Logic Symbols
Orientation:    Portrait
Symbol set:     HP Math-7 (0A)
Spacing:        Proportional
Height:         12-point
Style:          Upright
Stroke weight:  Medium
Typeface:       255 (undefined)

# of defined characters: 25

Proportional width table
------------------------
'               17
|               19
e               32
:A              33
E               36
f               39
O^v             42
~               44
#)<=>CDGH       46
NU              50
-               55
P               58
(char 127)      67


Logic Symbols is a font containing symbols used frequently in mathematical
proofs.  The font contains symbols for propositional and predicate
calculus, boolean algebra, sets, and more.

To demonstrate some of the uses of Logic Symbols, I have created the file
LOGTEST.TXT.  To print LOGTEST.TXT, first select any standard text font
(Times Roman, Courier, Prestige Elite, etc.) as the primary font.  Note:
LOGTEST.TXT looks best when printed with a 12-point font.  Next, download
LOGIC12.SFP using any font downloading program, and -- this is important --
make sure that it is downloaded as the SECONDARY font.  (For any use other
than printing LOGTEST.TXT, Logic Symbols can be downloaded as the primary
font.) Now, print LOGTEST.TXT by entering the DOS command:

                          COPY LOGTEST.TXT LPT1:

or use whatever method you usually use to print an ASCII file.


SEND ALL QUESTIONS AND COMMENTS TO:
Scott Pakin
6007 N. Sheridan Rd.
Chicago, IL  60660