The Coq mailing list

[Jelle Herold <jelle AT defekt.nl>]

On 09/May/2011, at 13:17 , Thomas Strathmann wrote:

>> I still need to find a nice way to do unicode input, my colleagues use 
>> ibus or m17n in linux;
>> Do you know of any comparable input methods for the mac?
> 
> I've struggled with this problem, too. My solution so far is to use the 
> built-in input methods of Emacs in conjunction with some custom abbrevs for 
> Unicode symbols I actually use. If someone knows a more general way that 
> actually works well I'd be interested.

So I thought a nice solution could be a custom input method.

Using this tool http://scripts.sil.org/keylayoutmaker you can build a ;
.keylayout file to be placed in "~/Library/Keyboard\ Layouts/". After 
enabling it in Preferences -> Language & Text -> Input Sources you can then 
"quickly" switch between input methods using cmd-spacebar.

The input to the tool is a list of keysequence -> unicode character mappings; 
for instance

forall  02200
exists  02203
not     000AC
fun     003bb
->      02192
-->     027F6

This is ∀ nice and fine, but I can ¬ use it in CoqIDE. Somehow GTK seems to 
have problems with dead-key character sequences. Single key special 
characters work fine.

So, again, a colleague suggested instead of using a (latex) sequence to just 
remap the alt-? special characters; this should work. I'll post the resulting 
keylayout when I'm done.

Best.

Jelle.