At 07:40 PM 1/26/02 -0500, [EMAIL PROTECTED] wrote:
>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?

These double struck symbols are used by mathematical sofware
precisely because they are NOT yet used for regular operators
or variables. Please don't make such recommendations before
understanding the nature of the symbol you are suggesting
to abuse!

A./

Reply via email to