On Mon, May 11, 2015 at 11:40 AM, Yuri Khan wrote: > Consider also that there is the ≫ character (U+226B MUCH GREATER > THAN), which is semantically a better match for >>. > ​You made a very valid point. +1​