This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.
The decimal digit family of a decimal format is the sequence of ten digits with consecutive Unicode ·codepoints· starting with the mandatory-digit-sign. The "mandatory-digit-sign is defined without using the definition syntax which makes its discovery as a definition accidental. It is found in an unnumbered sub-section of an unnumbered sub-section of 4.6.1 fn:format-integer
I don't think "mandatory-digit-sign" should be a defined term, because the definition of the mandatory-digit-sign appears in the stylesheet/query, not in the W3C specification. I guess you could argue that there is a concept which the spec should define, but the references here are not to the concept, but to the specific symbols defined in the stylesheet/query. I can see the point that some hyperlinking would be useful, but introducing new markup to support this is not a simple undertaking at this stage of development.
At the teleconference on 2015-03-03, the Joint Working Group decided to resolve this bug as WORKSFORME, accepting the logic in comment 1 (namely, that in the passage in question 'mandatory-digit-sign' and the other italicized tokens are variable names in the description of an algorithm, not technical terms).