Re: Motion 13 and "<="
What Baker calls "certainly less than or equal" has been
called "precedes or touches" in M13 in order better to
convey the right idea.
We must not get hung up on names -- languages and packages
will define those, and all the standard should specify is
(a) precise definition
(b) availability ("should" or "must")
(c) require documented mapping of names
The standard would use a set of clearly-distinguishable
and maximally-meaningful internal names, and may mention
what existing names (if any) they already correspond to,
but it should not tie itself to existing names, because
those may well have conflicting interpretations already.
Michel.
---Sent: 2010-05-04 13:45:34 UTC