On 07/07/2014 11:29 PM, Eugene Surowitz wrote:
> Actually it sort of looks just plain wrong.
I can neither agree nor disagree when there is no specification. ;-)
> And in the interpreter's output
> \: looks appropriately used, for spacing.
If you mean the use of \: in
>> $$
>> OVERLABEL
>> \left(
>> {a, \: b}
>> \right)
>> \leqno(3)
>> $$
then this is actually boring and does not come from overlabel but rather
from the handling of the comma. formatNary puts ",\:" instead of a
simple comma. That's orthogonal to overlabel.
Ralf
_______________________________________________
Axiom-developer mailing list
[email protected]
https://lists.nongnu.org/mailman/listinfo/axiom-developer
