missing logical character

Article View: comp.fonts

Article #2556

#2556

From: Dan Sahlin
Date: Wed, 22 May 1991 12:14

24 lines
1132 bytes

I have been unable to find a font which contains the following character

    X
    X
    XXXXX
    X
    XXXXX
    X
    X

The character is frequently used in logic and it also occurs in some
internationally registered character sets either under the name "true
statement sign" or "double turnstile".

I had been hoping for that Adobe's set of fonts named "Mathematical Pi"
would contain this character.  Unfortunately these fonts seem to contain
mostly useless characters and many characters are repeated.  These
character sets cannot have been compiled by anyone with a
mathematical/logical background.

Is there a character set which is good for logic and computer science?

	Dan Sahlin, SICS
email: dan@sics.se

Technical Details

Message-ID: <1991May22.121448.16421@sics.se>

Path:

arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!sics.se!dan

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rpi!think.com!mintaka!bloom-beacon!eru!hagbard!sunic!sics.se!dan
From: dan@sics.se (Dan Sahlin)
Newsgroups: comp.fonts
Subject: missing logical character
Message-ID: <1991May22.121448.16421@sics.se>
Date: 22 May 91 12:14:48 GMT
Sender: news@sics.se
Distribution: comp
Organization: SICS, Swedish Inst. of Computer Science
Lines: 24