After looking even more carefully, I found that the reason that the shortcut for RIGHT DOUBLE ARROW didn't work was because I wasn't using XIM, but the default gtk input method.
Hence, this bug boils down to simply the shortcut for LEFT DOUBLE ARROW which Ubuntu helpfully patches in does not work because it is overridden by a later shortcut for LESS-THAN OR EQUAL TO. The simplest fix is to swap the shortcut keys for LEFT DOUBLE ARROW, but this introduces an inconsistency, as the other arrow shortcuts are in graphical order; that is: < - for ←, - > for → etc. Thus, the simplest fix I can see is to swap the keys instead for LESS-THAN OR EQUAL TO to <equal> <less>; however, this means that LESS-THAN OR EQUAL TO is the opposite way around from GREATER-THAN OR EQUAL TO, which must remain <greater> <equal> to avoid clashing with the shortcut for RIGHT DOUBLE ARROW. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/841330 Title: Ubuntu patch to Compose doesn't achieve intended result To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/libx11/+bug/841330/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs