Re: Double right arrowhead?

Jukka K. Korpela wrote:
> The use of two GREATER THAN characters is just a way to emulate a rightwards arrow using ASCII graphics.

On the other hand, many UIs do have something like “<” or “>” (and I
am not talking about the ASCII characters!) to point to the
left/right. Not sure whether it deserves to be encoded as a Unicode
character, but then again, why not when there are all sorts of
different arrows? I have also seen something that looks similar to
“>>”.