TWiki> PG Web>TechTidBits>XSymbolOnMacOSX (revision 1)EditAttach

X-Symbol on Mac OS X, natively

There are at least two nice native ports of GNU Emacs for Mac OS X: Aqua Emacs and Carbon Emacs.

These work well with Proof General except for the lack of support for X-Symbol. The problem is that X-Symbol contains some custom fonts which were built for the X font server machinery, in bdf format. These fonts contain mathematical symbols, derived from TeX fonts set at different sizes and at a fixed-width.

It would be fantastic if these fonts could be made available in a format understood by Mac OS X, and then in turn used inside a native Emacs port. It looks as if nobody has done this yet, although there have been several notes of interest (Google throws up the odd question on mailing lists here and there).

A while ago I had an abortive attempt at this but didn't get very far. What I tried was:

REFACTOR: to be completed: some hints and pointers

Edit | Attach | Print version | History: r5 | r4 < r3 < r2 < r1 | Backlinks | Raw View | Raw edit | More topic actions...
Topic revision: r1 - 05 Sep 2006 - 21:27:39 - DavidAspinall
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback
This Wiki uses Cookies