MobileRead Forums - View Single Post - One not too bad font, anyone have other recommendations?

BensonBear · 05-10-2012, 06:27 AM

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?

05-10-2012, 06:27 AM	#1
BensonBear Enthusiast Posts: 40 Karma: 10 Join Date: May 2012 Device: Kobo Touch	One not too bad font, anyone have other recommendations? 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? Last edited by BensonBear; 05-10-2012 at 07:17 AM. Reason: Gun -> GNU !