Linear logic font (llwith) and Commutative Diagrams It has been pointed out to me that Samson Ambramsky's linear logic paper, which I used as an example of something in our archive, requires the font "llwith10". I did point out that some TeX stuff is in another directory theory/software/tex on the archive, but I apologise for not making it sufficiently clear that this includes llwith10 as well as the commutative diagrams. Now that I've got the hang of MetaFont (at least for symbols - I wouldn't attempt to design an alphabet with it!) I shall probably develop a font including "llwith", "lasy" and some other symbols. Any suggestions for logical, categorical and computing symbols not available in othet fonts welcome (within reason & no promises). As I said, I recommend using the name not the number, but the new IP address is theory.doc.ic.ac.uk 146.169.22.37 as of Wednesday 20 November Another piece of trivia I meant to mention before: anyone (in the south east of England) who would like to receive email announcements of theory seminars in Imperial College (on Wednesdays) - please email me <pt@doc.ic.ac.uk> Paul Taylor =======================