One not too bad font, anyone have other recommendations?

[BensonBear]

None of the many Kobo installed fonts had all the math characters I needed in some recently added documents. In particular, they all lacked most or all of Quine Quotes, the semantic and syntactic turnstile relations, and the modal logic necessity box.

So for example, these cannot be rendered:

If PA ⊢ A, then PA ⊢ Prov(⌈A⌉);
□(□A → A) → □A
if Γ ⊨ θ, then Γ ⊢  θ.

I found a font from the GNU project which has these characters in it which is not too bad: http://www.gnu.org/software/freefont/

Maybe there are some others around too?

[frostschutz]

Maybe you could use your favourite font and add the missing glyphs to it using fontforge or similar font editor?

[BensonBear]

Originally Posted by frostschutz

Maybe you could use your favourite font and add the missing glyphs to it using fontforge or similar font editor?

Personally I am quite satisfied with the gnu free font right now, but I haven't read much with it yet. I guess I'm not too fussy, I don't have a favorite font. Many fonts are very bad, but there are lots of acceptable ones as far as I am concerned. Doesn't hurt to know of more, though (with an integrity of design, and not altered by total amateurs).

(By "acceptable" I mean of course many fonts have acceptable forms of the characters they handle. Obviously a font is quite unacceptable to a person if it does not contain the characters he needs regardless of how nice it looks otherwise).

[Geco]

I usually use the GNU Unifont that has all 65536 unicode characters inside (it's 15MB!) since I need to read Japanese and wife's Japanese as well... so probably it could help you as well.
http://unifoundry.com/unifont.html

[BensonBear]

Originally Posted by Geco

I usually use the GNU Unifont that has all 65536 unicode characters inside (it's 15MB!) since I need to read Japanese and wife's Japanese as well... so probably it could help you as well.
http://unifoundry.com/unifont.html

Thanks, I actually came across that first, but it is not acceptable for everyday use of Western fonts because it is monospace.

[Xennex1170]

Originally Posted by BensonBear

Thanks, I actually came across that first, but it is not acceptable for everyday use of Western fonts because it is monospace.

It may actually help.. I have it installed but even if I don't have it set as my 'active' font my Japanese epubs will display properly simply because that font exists on my KT. It may be some kind of encoding setting that the KT is recognizing and retrieving the appropriate font to display just the Japanese. It may do the same for the symbols that you need displayed even if you have your font also set to something different as default.

[BensonBear]

Originally Posted by Xennex1170

It may actually help.. I have it installed but even if I don't have it set as my 'active' font my Japanese epubs will display properly simply because that font exists on my KT. It may be some kind of encoding setting that the KT is recognizing and retrieving the appropriate font to display just the Japanese. It may do the same for the symbols that you need displayed even if you have your font also set to something different as default.

Hmm, I thought my original post was clear that the GNU font I mentioned in it is quite adequate. I just made the post in case anyone else was looking for a font with a lot of math characters in it, particularly, the logic ones. I just thought it would be nice to see what other fonts people had found that included such characters.

So although I do not need its help, the unifont font will not help me because it is a monospace font. I do not want to use a monospace font for anything but code.

[Geco]

Originally Posted by BensonBear

Thanks, I actually came across that first, but it is not acceptable for everyday use of Western fonts because it is monospace.

Mmm well, they monospace font it's actually the original Gutemberg one... anyway: I love this font for normal books while when reading SW or programming books I need to use the document default since they may have one font for text and one font for source code, text conventions...

My default is that.

[Geco]

Originally Posted by Xennex1170

It may actually help.. I have it installed but even if I don't have it set as my 'active' font my Japanese epubs will display properly simply because that font exists on my KT. It may be some kind of encoding setting that the KT is recognizing and retrieving the appropriate font to display just the Japanese. It may do the same for the symbols that you need displayed even if you have your font also set to something different as default.

Yes, you're right: for some reasons, even if we use some other font, having the GNU Unifont (or something else) supporting Japanese characters, those characters are retrieved from that font.
Isn't it great?

[keepsake]

The WenQuanYi fonts are pretty good at supporting most characters (I believe they are Unicode but they may be CJK-only), and WenQuanYi Zen Hei Sharp is great on-screen.

[Xennex1170]

Originally Posted by keepsake

The WenQuanYi fonts are pretty good at supporting most characters (I believe they are Unicode but they may be CJK-only), and WenQuanYi Zen Hei Sharp is great on-screen.

I'll have to look into that one.. I think the current font I have installed could use some improvement in displaying Japanese kana.

[wijwij]

Plenty of mathematical glyphs in the STIX fonts.

http://www.stixfonts.org/allGlyphs.html

Opentype
http://sourceforge.net/projects/stixfonts/

Truetype
https://sites.google.com/site/olegueret/stixfonts-ttf

Sample showing logic
http://www.charlietanksley.net/philt...he-stix-fonts/