PCTeX Talk Forum Index PCTeX Talk
Discussions on TeX, LaTeX, fonts, and typesetting
 
 FAQFAQ   SearchSearch   MemberlistMemberlist   UsergroupsUsergroups   RegisterRegister 
 ProfileProfile   Log in to check your private messagesLog in to check your private messages   Log inLog in 

Symbols for the logicians

 
Post new topic   Reply to topic    PCTeX Talk Forum Index -> MathTime Pro II New Symbols
View previous topic :: View next topic  
Author Message
Dubucs
Guest





PostPosted: Tue Aug 31, 2010 8:28 am    Post subject: Symbols for the logicians Reply with quote

Could be very useful to add the symbols logicians need, as those contained in the "turnstile" package
Thanks for attention
JD
Back to top
Michael Spivak



Joined: 10 Oct 2005
Posts: 52

PostPosted: Tue Aug 31, 2010 8:01 pm    Post subject: Reply with quote

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).
Back to top
View user's profile Send private message Send e-mail
Display posts from previous:   
Post new topic   Reply to topic    PCTeX Talk Forum Index -> MathTime Pro II New Symbols All times are GMT - 7 Hours
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum


Powered by phpBB © 2001, 2005 phpBB Group