Path: utzoo!attcan!uunet!husc6!rutgers!njin!princeton!siemens!demon!jts
From: jts@demon.siemens.com (Jim Sasaki)
Newsgroups: comp.sys.mac
Subject: Looking for font with logic symbols
Message-ID: <602@siemens.UUCP>
Date: 14 Jun 88 21:34:17 GMT
Sender: news@siemens.UUCP
Reply-To: jts@siemens.com (Jim Sasaki)
Organization: Siemens Research and Technology Labs, Princeton NJ
Lines: 19

Does anyone out know of a font that includes symbols for mathematical logic?
In particular, I'm looking for various turnstile symbols.  Roughly approximated,
they are

            |-    (single turnstile)

            |=    (double turnstile)

            ||-   (who knows what it's called?)

Please reply electronically; I'll post the result if there is general interest.
(Hard to believe -- they aren't symbols that pop up everywhere, except for the
occasional |- traffic sign.)  Thanks.

    Jim Sasaki (jts@siemens.com, jts%siemens.com@princeton.edu,
                ...!princeton!siemens!jts)
--------------------
Any opinions above are my own, and not necessarily those of Siemens RTL, for
whom I consult.