[no subject]

[BAK at MIT-AI (William A. Kornfeld)]

I would prefer if the TOP and GREEK keys on the new keyboards were interchanged.
The current position of GREEK is much more easily reached by touch typists.  I find
that I type such things as logical symbols and arrows with a much greater frequency
than greek letters.

The change to the keyboards takes all of 2 minutes since the keytops are removable
and those two happen to be the same size.  Why not change them soon before people
develop bad habits?