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
CC:
To: public-qt-comments@w3.org
Message-Id: <E1Fwdd0-00072j-AM@wiggum.w3.org>

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

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:29 UTC