Le 22-sept.-08 à 10:05, Professor James Davenport a écrit :
- I have rephrased "takes no argument" to "cannot be applied"Certainly an improvement.What we really mean is that it is a constant, rather than an operator.
to me that is the same meaning
Of course, Universal Algebra reagrds constants as nullary operators, which isprobably where the confused wording came from.Actually, I don't think we need any words here: just delete the sentence,so that (both_sides, for example) reads "This symbol is used ... both sides."
Doesn't it help clarity to make sure that no-one uses it applied anywhere?
I thought so. paul
smime.p7s
Description: S/MIME cryptographic signature
_______________________________________________ Om3 mailing list [email protected] http://openmath.org/mailman/listinfo/om3
