W3C home > Mailing lists > Public > public-qt-comments@w3.org > July 2006

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

From: <bugzilla@wiggum.w3.org>
Date: Sat, 01 Jul 2006 11:27:10 +0000
To: public-qt-comments@w3.org
Message-Id: <E1Fwdd0-00072j-AM@wiggum.w3.org>


           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".

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 16:57:13 UTC