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