Symbols for the logicians

Users are invited to suggest new symbols to be included in the MathTime Professional fonts.

Moderators: PTIForAdmin, Michael Spivak

Post Reply

Symbols for the logicians

Post by Dubucs »

Could be very useful to add the symbols logicians need, as those contained in the "turnstile" package
Thanks for attention
Michael Spivak
Posts: 52
Joined: Mon Oct 10, 2005 2:10 pm

Post by Michael Spivak »

There really are no "symbols" to add. Aside from the fact that the symbols are made up of straight lines, the symbols have to stretch, so the macros are the perfect (and only) way to get what one wants. For users of the MathTime fonts, all that might be wanted, and which can easily be supplied, are modifications of the definitions to ensure that the thickness of the lines corresponds to those used for other lines that are part of symbols (generally speaking, whereas the Computer Modern fonts generally use lines of thickness .4pt, MathTime generally uses lines of thickness .46pt).
Post Reply