[Bug 3420] Editorial: two 'f's in if, "iff"

http://www.w3.org/Bugs/Public/show_bug.cgi?id=3420

           Summary: Editorial: two 'f's in if, "iff"
           Product: XPath / XQuery / XSLT
           Version: Candidate Recommendation
          Platform: Other
        OS/Version: Linux
            Status: NEW
          Keywords: editorial
          Severity: minor
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: frans.englich@telia.com
         QAContact: public-qt-comments@w3.org


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

Received on Saturday, 1 July 2006 11:27:20 UTC