Xref: utzoo comp.sys.mac.misc:8752 comp.sys.mac.wanted:2723
Path: utzoo!utgpu!news-server.csri.toronto.edu!rutgers!mcnc!decwrl!shelby!csli!campos
From: campos@csli.Stanford.EDU (Manuel Campos)
Newsgroups: su.macintosh,comp.sys.mac.misc,comp.sys.mac.wanted
Subject: Font with logical symbols
Message-ID: <17866@csli.Stanford.EDU>
Date: 22 Feb 91 02:43:12 GMT
Followup-To: poster
Distribution: usa
Organization: Center for the Study of Language and Information, Stanford U.
Lines: 7

Does anybody know where I can obtain a font called "Diacritic", that
contains symbols for logical consequence and other logical notions?
 
Does anybody know of any other font containing the consequence symbol, 
the crossbar that can be written over other symbols, etc.?

Manuel