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
This archive was generated by hypermail 2.1.2 : Sat Jan 26 2002 - 19:10:38 EST