Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!gatech!cica!tut.cis.ohio-state.edu!pt.cs.cmu.edu!f.gp.cs.cmu.edu!mleone
From: mleone@f.gp.cs.cmu.edu (Mark Leone)
Newsgroups: comp.emacs
Subject: WYSIWYG Greek Letters in X10
Keywords: GNU-emacs v.18.50.14
Message-ID: <5528@pt.cs.cmu.edu>
Date: 14 Jul 89 19:52:47 GMT
Distribution: usa
Organization: Carnegie-Mellon University, CS/RI
Lines: 29

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