DTV12 — DTV Typo: weekday definitions

The weekday definitions in clause 12.4 have incorrect definitions. They say that "Monday", etc., are kinds of "day of week 1", etc. But there is no object type called "day of week 1" – the styling is wrong. "Day of week" should be styled "term", and "1" should be styled "name". The intended meaning is "day of week" number 1.

In resolving Issue 18991, the RTF decided that notations of the form
<time point kind><index>, such as ‘day of week 1’,
are abbreviations of definite descriptions of the form
“<time point kind> that has index <index>”, such as
“day of week that has index 1”. These abbreviations are complex expressions used as designations for the time points defined by the definite descriptions. The notation is used in many places in the specification, and is explained in the revised text for Issue 18991.
Accordingly, the styling recommended in the issue is correct.
The day of week definitions are modified by the resolution to Issue 19574, which also corrects the formatting of the notation.