The Coq mailing list

[Jelle Herold <jelle AT defekt.nl>]

(Oops, send this message to myself instead of coq-club)

On 11/May/2011, at 13:14 , Jelle Herold 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.
> [..]
> 
> 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.

Even with single character sequences I cannot get it to work properly.

For instance, inputting the → symbol works, but a long arrow ⟶ appears as the 
short arrow.
The quantifiers (∀∃) don't work at all; entering them in, say, TextEdit.app 
and then pasting them back into CoqIDE works.

∑ doesn't, but ≤ and ≥ do work.

Etc.

I've attached the .keylayout if anyone wants to give it a try. You can edit 
it using Ukelele.app from http://scripts.sil.org/ukelele

Any ideas?

Regards,
Jelle.

Attachment: Math.keylayout.bz2
Description: BZip2 compressed data