search

topological-modular-forms / Darwin-Typeface

This is the project repository for Darwin, a typeface for books and articles, with a focus on scientific writing.
SIL Open Font License 1.1
202 stars 4 forks source link

Good support for logic #44

Open topological-modular-forms opened 2 months ago

topological-modular-forms commented 2 months ago

cfr writes:

It would be really nice to have a font which supported logic better than the current offerings. This is not exactly in line with the focus on maths, though. (It overlaps with maths because mathematical logic obviously exists, but it doesn't seem to be in the scope of AMS etc.) However, I don't know how easy/possible this would be. Turnstiles are especially problematic. The only real option I'm aware of is the turnstile package, but this inevitably can't match the font configuration etc. It's as if you had to draw integral signs with tikz or something.