>>>>> "Peter" == Peter Hutterer <[EMAIL PROTECTED]> 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 <[EMAIL PROTECTED]> OpenPGP: 1024D/ED7DAEA6 _______________________________________________ xorg mailing list [email protected] http://lists.freedesktop.org/mailman/listinfo/xorg
