This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 3420 - Editorial: two 'f's in if, "iff"
Summary: Editorial: two 'f's in if, "iff"
Status: CLOSED FIXED
Alias: None
Product: XPath / XQuery / XSLT
Classification: Unclassified
Component: Formal Semantics 1.0 (show other bugs)
Version: Candidate Recommendation
Hardware: Other Linux
: P2 minor
Target Milestone: ---
Assignee: Jerome Simeon
QA Contact: Mailing list for public feedback on specs from XSL and XML Query WGs
URL:
Whiteboard:
Keywords: editorial
Depends on:
Blocks:
 
Reported: 2006-07-01 11:27 UTC by Frans Englich
Modified: 2006-08-01 17:20 UTC (History)
0 users

See Also:


Attachments

Description Frans Englich 2006-07-01 11:27:09 UTC
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
Comment 1 Michael Kay 2006-07-01 12:11:21 UTC
"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)
Comment 2 Frans Englich 2006-07-02 10:02:44 UTC
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
Comment 3 Jerome Simeon 2006-08-01 15:16:54 UTC
Replaced 'iff' by 'if and only if'.
- Jerome