This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
4.1.5 Function calls The definition of [Expr]atomizeAtomic(SequenceType) uses the notation <: , which has not been previously defined. Probably the best would be to mention this in 2.1.2 "Notations for judgments" with a forward reference to its definition in 7.4.2 "Subtype". One of the things that makes this definition especially hard to find is that there are no English words in the judgment, so you cannot scan the table of contents to find it. To fix this, you might insure one or more of the following: 1. all judgments with no English terms are mentioned in section 2. 2. the symbols used in these purely symbolic judgments appear in the titles of their sections. For example, 8.3.2 might be titled "Subtype (<:) and type equality (=)".
Here I'll add what may be the best solution of all: add an appendix with a master list of all judgments, preferably in alphabetic order (with the symbolic ones such as <: or =>stat sorted in some intelligible fashion), and with hot links to the definition. Place a reference to this list in 2.1.2 "Notations for judgments" for good measure.
Added index for the FS judgments, as suggested. - Jerome