🚀 go-pugleaf

Bernard Sufrin and I have written a proof editor which runs on Suns and Macs. 
Actually I should say *are writing*, cos it's not ready for distribution yet. 
The Mac interface is really nice, but it would be improved by special 
characters in formulas to represent turnstiles and so on.

There isn't much point in looking for a suitable font, because people use very 
wierd symbols in some logics, and we want our editor to show on the screen a 
reasonable facsimile of formulas in the author's logic.

So we want logic authors to be able to compose new symbols and to introduce 
them to our editor.  These people won't be expert font designers, so we need 
to make things as easy as possible.  

Question: are there any freeware/shareware products which fit the bill?  Or 
buyware ditto?  What we need is ease of composing and low cost (our editor, 
when it is distributed, will be free).

Richard Bornat
richard@dcs.qmw.ac.uk