@@ 185,18 185,19 @@ structure ScaleIntervals : SCALE_INTERVA
| "Inf" => infinity
| label => label
fun replaceNegative label =
- String.implode
- (ListMisc.concatMap
- (fn #"~" => (* true minus sign *)
- [chr 0xe2, chr 0x88, chr 0x92]
- | c => [c])
- (String.explode label))
+ implode (ListMisc.concatMap
+ (fn #"~" => (* true minus sign *)
+ [chr 0xe2, chr 0x88, chr 0x92]
+ | c => [c])
+ (explode label))
fun removeNegative label =
- String.implode
- (ListMisc.concatMap (fn #"~" => [] | c => [c])
- (String.explode label))
+ implode (ListMisc.concatMap (fn #"~" => [] | c => [c])
+ (explode label))
fun addPositive label =
- if Real.> (x, 0.0)
+ if label = "0.0" orelse Real.== (x, 0.0)
+ then implode [chr 0xe2, chr 0x80, chr 0x87] (* figure space *)
+ ^ label
+ else if Real.> (x, 0.0)
then "+" ^ label
else label
val label = case signs of