keysymdef.h has wrong implies symbol?

[James Cloos]

>>>>> "Peter" == Peter Hutterer <peter.hutterer at who-t.net> writes:

Peter> well, that's the issue with the whole thing (Erik and me
Peter> discussed that a bit):

Peter> keysymdef.h states that XK_implies is U+21D2 RIGHTWARDS DOUBLE
Peter> ARROW.  in mathematics, this is the usual symbol for "implies".
Peter> however, according to http://unicode.org/charts/PDF/U2200.pdf (p
Peter> 207), "implies" is an alias for RIGHT TACK.

I wonder whether ⊢ is used for implies in APL?

Peter> As Erik pointed out, right tack does have its own symbol
Peter> XK_righttack, whereas there's no other XK_... for the double
Peter> right arrow.

Sounds like a good reason to go with the comment.  As does Erik’s note
that Gnome’s code follows the comment rather than the current imKStoUCS
implementation.

Has anyone audited imKStoUCS.c to see whether there are any other
discrepancies?

-JimC
-- 
James Cloos <cloos at jhcloos.com>         OpenPGP: 1024D/ED7DAEA6