Good support for logic
topological-modular-forms opened this issue · 0 comments
topological-modular-forms commented
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 withtikz
or something.