<div dir="ltr">I thought of <equal> <less> to match <equal> <greater>, but it is even more confusing. </div><div class="gmail_extra"> <div class="gmail_quote">On Thu, Jul 31, 2014 at 10:38 PM, Alan Coopersmith <<a href="mailto:alan.coopersmith@oracle.com" target="_blank">alan.coopersmith@oracle.com</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 07/31/14 06:23 PM, Gabriel Souza Franco wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> Signed-off-by: Gabriel Souza Franco <<a href="mailto:gabrielfrancosouza@gmail.com" target="_blank">gabrielfrancosouza@gmail.com</a>> --- nls/en_US.UTF-8/Compose.pre | 1 + 1 file changed, 1 insertion(+) diff --git a/nls/en_US.UTF-8/Compose.pre b/nls/en_US.UTF-8/Compose.pre index 23829b4..4a96570 100644 --- a/nls/en_US.UTF-8/Compose.pre +++ b/nls/en_US.UTF-8/Compose.pre @@ -4535,6 +4535,7 @@ XCOMM Part 3 <Multi_key> <KP_Divide> <U2194> : "↮" U21AE # LEFT RIGHT ARROW WITH STROKE <Multi_key> <less> <minus> : "←" U2190 # LEFTWARDS ARROW <Multi_key> <minus> <greater> : "→" U2192 # RIGHTWARDS ARROW + <Multi_key> <equal> <greater> : "⇒" U21D2 # RIGHTWARDS DOUBLE ARROW <Multi_key> <U2203> <U0338> : "∄" U2204 # THERE DOES NOT EXIST <Multi_key> <braceleft> <braceright> : "∅" U2205 # EMPTY SET <Multi_key> <U2208> <U0338> : "∉" U2209 # NOT AN ELEMENT OF </blockquote> Hmm, it's unfortunate that <less> <equal> is already mapped to "≤" U2264 # LESS-THAN OR EQUAL TO so we can't have it match for the leftwards double arrow, but I'm not seeing any obvious better suggestions for the mapping, unless we want to do something like <minus> <minus> <greater> and <less> <minus> <minus>, but that seems klunkier. Anyone else have thoughts or ideas? -- -Alan Coopersmith- <a href="mailto:alan.coopersmith@oracle.com" target="_blank">alan.coopersmith@oracle.com</a> Oracle Solaris Engineering - <a href="http://blogs.oracle.com/alanc" target="_blank">http://blogs.oracle.com/alanc</a> </blockquote></div> </div>