Am Samstag, den 15.07.2017, 10:57 +0200 schrieb Bardur Arantsson: > On 2017-07-14 21:59, Wolfgang Jeltsch wrote: > > Am Freitag, den 14.07.2017, 06:42 +0200 schrieb Bardur Arantsson: > > > On 2017-07-14 01:26, Mike Ledger wrote: > > > > How about: -+ > > > > > > > > It almost looks arrow like if you squint, and have a font that > > > > lines up the horizontal lines. > > > > > > This may play havoc with programming fonts with ligatures where it > > > might be rendered as a single ± symbol. > > > > > I would expect such fonts to translate “+-”, not “-+”, into “±”. > > > Maybe, but it seems a bit fragile to me...
I would not care too much about such fonts. In my opinion, the natural way is to generate ± from +-, not from -+. Since there is the option to generate ± from +-, there is no need to additionally generate it from -+. Font designers could just stop doing this if there are doing it at all at the moment. > What about -*? At least there's no ambiguity there. The problem with -* is that the star is typically higher than the -, so that -* looks a bit awkward. I think, using -+ is a pretty good idea. All the best, Wolfgang _______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
