I am exploring a not often used but nice Latex package named ffslides. It
has several advantages in exact control of where things are placed on the
page using postscript (actually pstricks) behind the scenes.  But, one
problem is that the SML in my doc file is getting scrunched together like
this:

*funsubset([],[])=true*

Is there a way for me to choose a different font when doctex extracts the
SML?
Maybe I could find an alternative that would not squash?

-Dave


,
[])=
true
_______________________________________________
Proofpower mailing list
Proofpower@lemma-one.com
http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com

Reply via email to