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 

logical definite descriptor operator

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



Joined: 07 Feb 2006
Posts: 47
Location: Amherst, MA, USA

PostPosted: Fri Sep 03, 2010 8:16 pm    Post subject: logical definite descriptor operator Reply with quote

I'd very much like to see included the "inverted iota" definite descriptor operator from logic.

Right now, I have to resort to the subterfuge of inverting a regular iota and adjusting its position; the results are not always optimal.
Back to top
View user's profile Send private message Visit poster's website
Michael Spivak



Joined: 10 Oct 2005
Posts: 52

PostPosted: Sat Sep 04, 2010 2:15 pm    Post subject: Reply with quote

that seems reasonable (and is extremely easy). any other logic symbols that are needed?
Back to top
View user's profile Send private message Send e-mail
murray



Joined: 07 Feb 2006
Posts: 47
Location: Amherst, MA, USA

PostPosted: Sat Sep 04, 2010 4:46 pm    Post subject: other logical symbols?? Reply with quote

Michael Spivak wrote:
that seems reasonable (and is extremely easy). any other logic symbols that are needed?


I know a little about logic, but am by no means a logician, so I'm not the one to ask. Certainly the quantifiers, implication arrows, and sequent symbol (\vdash) are already there. The only one I was missing for ordinary use in light logic use was the definite descriptor (inverted iota).

Incidentally, it seems hard for me to tell readily, say from the web site, just what symbols are actually in the MTPRoII fonts, as many entries in the table (in one of the pdf files there) end with an ellipsis.

I know there's a way to get the entire list by running some file through LaTeX, but I always forget how to do that.

Murray
Back to top
View user's profile Send private message Visit poster's website
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