On 21 Dec 2011, at 11:03, Brandon Allbery wrote: > On Wed, Dec 21, 2011 at 04:51, Hans Aberg <haber...@telia.com> wrote: >> 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.)
This problem is in my editor for unstyled text due to that if it a symbol is not available in the font selected, it just chooses a glyph from the next font available in alphabetical order. Hopefully such problem will be resolved in the future. Hans _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
