[comp.sys.mac] Looking for font with logic symbols

jts@demon.siemens.com (Jim Sasaki) (06/15/88)

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.