3420 2006-07-01 11:27:09 +0000 Editorial: two 'f's in if, "iff" 2006-08-01 17:20:52 +0000 1 1 1 Unclassified XPath / XQuery / XSLT Formal Semantics 1.0 Candidate Recommendation Other Linux CLOSED FIXED editorial P2 minor --- 1 frans.englich simeon public-qt-comments oldest_to_newest 10341 0 frans.englich 2006-07-01 11:27:09 +0000 In 2.1.2 Notations for judgments, a bit below, this paragraph is found: "In some cases, inference rules may need to use the fact that a certain judgment does not hold. not(Judgment) holds iff Judgment does not hold." Note the extra 'f' in "iff". Frans 10342 1 mike 2006-07-01 12:11:21 +0000 "iff" is an abbreviation commonly used by mathematicians to mean "if and only if", but I suppose we shouldn't use it without explanation. Michael Kay (personal response) 10352 2 frans.englich 2006-07-02 10:02:44 +0000 Yupp! Or block me from Bugzilla.. After a search, it appears to only be used in that place. Perhaps the least intrusive and what would also make the spec simpler, is to simply replace "iff" with "if and only if". That's also what's used in other cases in the specs. Frans 10938 3 simeon 2006-08-01 15:16:54 +0000 Replaced 'iff' by 'if and only if'. - Jerome