This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
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
"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)
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
Replaced 'iff' by 'if and only if'. - Jerome