Re: The benefit of a symbol for 2 pi

[DougEwell2]

One of the new characters scheduled for Unicode 3.2 is

    U+213F DOUBLE-STRUCK CAPITAL PI

(A 500-byte GIF is attached.)

Double-struck pi!  What better symbol to represent 2 * pi?

-Doug Ewell
 Fullerton, California