mleone@f.gp.cs.cmu.edu (Mark Leone) (07/15/89)
We're currently using GNU emacs (v.18.50.14) under X version 10 on a Sun 3 to edit programs in a language based on the polymorphic lambda calculus that uses Greek letters. An example: true = Lambda alpha . lambda x . lambda y . x What I'd like to do is customize Emacs and use an X10 font containing both English and Greek letters to make this more readable and quicker to enter. I anticipate having some key-binding for each Greek letter that would cause one special character (maybe a bold letter?) to be entered into the current buffer. That special character would correspond to the correct Greek letter in the X10 font. I'm not much of an emacs hacker, so I've got some questions: 1) Does this sound reasonable? 2) Is there any way to get a "bold character" in an emacs buffer? I'd rather not give up any of the normal characters in my character set, and there are about 40 Greek letters I need to use (upper and lower case). 3) Any suggestions on what kind of key bindings I should use? I'd appreciate any suggestions, code, or pointers to documentation. Mark Leone mleone@f.gp.cs.cmu.edu