Re: unicode for geq, leq, arrow and textdegree

[Karl Berry]

    I propose U+2264 and U+2265 for @leq and @geq.
    Also for @arrow I propose U+2192 and for @textdegree U+00B0.

Agreed for all.  I updated the manual.

Thanks,
Karl