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

[Bug 1632] New: [FS] convention for inferences with no premises

From: <bugzilla@wiggum.w3.org>
Date: Fri, 15 Jul 2005 21:32:07 +0000
To: public-qt-comments@w3.org
Message-Id: <E1DtXmx-0006D3-FG@wiggum.w3.org>


           Summary: [FS] convention for inferences with no premises
           Product: XPath / XQuery / XSLT
           Version: Last Call drafts
          Platform: PC
        OS/Version: Windows 2000
            Status: NEW
          Severity: normal
          Priority: P2
         Component: Formal Semantics
        AssignedTo: simeon@us.ibm.com
        ReportedBy: fred.zemke@oracle.com
         QAContact: public-qt-comments@w3.org

2.1.3 Notations for inference rules
The convention of using a horizontal bar with no premises above
it makes sense logically, but it can be hard to read when there
are many such inferences following consecutively on a page, as
occurs, for example, in "Name tests".  It would be
better to have some non-whitespace representation of an empty 
set of premises, such as a single
centered minus sign, or a mathematical empty set sign.
Received on Friday, 15 July 2005 21:32:09 UTC

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