Re: unicode for geq, leq, arrow and textdegree

[Patrice Dumas]

On Fri, May 16, 2008 at 11:52:59AM -0500, Karl Berry wrote:
>     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.

--
Pat