
21 Dec
2011
21 Dec
'11
5:03 a.m.
On Wed, Dec 21, 2011 at 04:51, Hans Aberg
The one on the list is not a mathematical symbol. It should be ⋆ STAR OPERATOR U+22C6 or ∗ ASTERISK OPERATOR U+2217.
...except, at least in my current font, the former is microscopic and the latter not a whole lot better. The advantage of the one they chose is it's big and readable. (That's part of why I assume it's intended for kinds, actually.) -- brandon s allbery allbery.b@gmail.com wandering unix systems administrator (available) (412) 475-9364 vm/sms