dan@sics.se (Dan Sahlin) (05/22/91)
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